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