6.0
macs:Mac OS X10.4.1
SntP
32
;============ Argument One =================Smaller(c, d)                                     ;PremiseSmaller(d, f)                                     ;PremiseSmaller(c, f)                                     ;Conclusion;============ Argument Two =================FrontOf(c, d)                                     ;Premised = e                                                  ;PremiseFrontOf(c, e)                                     ;Conclusion;============ Argument Three ===============FrontOf(c, b)                                     ;PremiseSameRow(a, b)                                  ;PremiseFrontOf(c, a)                                     ;Conclusion;============ Argument Four =================Between(b, a, f)                                 ;PremiseBetween(b, f, a)                                 ;Conclusion;============ Argument Five =================LeftOf(c, d)                                       ;PremiseLeftOf(c, f)                                       ;PremiseLeftOf(f, d)                                       ;Conclusion;============ Argument Six ==================SameCol(d, e)                                   ;PremiseSameRow(e, d)                                  ;Premisee = d                                                 ;Conclusion;============ Argument Seven ===============SameRow(a, f)                                     ;PremiseAdjoins(a, b)                                       ;PremiseSameRow(b, f)                                    ;Conclusion;============ Argument Eight ================Adjoins(a, b)                                     ;PremiseSameCol(b, c)                                    ;PremiseFrontOf(c, b)                                     ;PremiseFrontOf(c, a)                                     ;Conclusion
s=331261;