Anne is big. Anne is blue. Anne is not green. Anne is nice. Anne is round. Anne is not smart. Anne is young. Harry is big. Harry is not blue. Harry is green. Harry is nice. Harry is not round. Harry is not smart. Harry is young. If Harry is blue and Harry is green then Harry is young. All big, smart things are blue. If Anne is smart and Anne is nice then Anne is not green.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is young.
("Anne" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is young.
("Harry" "is" "young" "+")
If Harry is blue and Harry is green then Harry is young.
((("Harry" "is" "blue" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "young" "+"))
All big, smart things are blue.
((("something" "is" "big" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
If Anne is smart and Anne is nice then Anne is not green.
((("Anne" "is" "smart" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "green" "-"))
Anne is not smart.
True
1
proof
[(triple6)]
("Anne" "is" "smart" "-")
triple6
Harry is not big.
False
1
inv-proof
[(triple8)]
("Harry" "is" "big" "-")
triple8
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple4)] Anne is not green.[(triple3)] Anne is not smart.[(triple6)] Anne is round.[(triple5)] Anne is young.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple10)] Harry is nice.[(triple11)] Harry is not blue.[(triple9)] Harry is not round.[(triple12)] Harry is not smart.[(triple13)] Harry is young.[(triple14)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not green.
("Anne" "is" "green" "-")
triple3
Anne is not smart.
("Anne" "is" "smart" "-")
triple6
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is not blue.
("Harry" "is" "blue" "-")
triple9
Harry is not round.
("Harry" "is" "round" "-")
triple12
Harry is not smart.
("Harry" "is" "smart" "-")
triple13
Harry is young.
("Harry" "is" "young" "+")
triple14