Charlie is big. Charlie is not green. Charlie is nice. Charlie is not red. Charlie is rough. Charlie is round. Charlie is smart. If something is round and not rough then it is smart.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
If something is round and not rough then it is smart.
((("something" "is" "round" "+") ("something" "is" "rough" "~")) -> ("something" "is" "smart" "+"))
Charlie is not red.
True
1
proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
Charlie is not nice.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "nice" "-")
triple3
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple3)] Charlie is not green.[(triple2)] Charlie is not red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is not green.
("Charlie" "is" "green" "-")
triple2
Charlie is not red.
("Charlie" "is" "red" "-")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7