Charlie is big. Charlie is not nice. Charlie is quiet. Charlie is not red. Charlie is not smart. Charlie is white. Charlie is young. All red, smart people are white. If Charlie is nice and Charlie is white then Charlie is smart.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
All red, smart people are white.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If Charlie is nice and Charlie is white then Charlie is smart.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "white" "+")) -> ("Charlie" "is" "smart" "+"))
Charlie is not nice.
True
1
proof
[(triple2)]
("Charlie" "is" "nice" "-")
triple2
Charlie is not quiet.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "quiet" "-")
triple3
@0: Charlie is big.[(triple1)] Charlie is not nice.[(triple2)] Charlie is not red.[(triple4)] Charlie is not smart.[(triple5)] Charlie is quiet.[(triple3)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple2
Charlie is not red.
("Charlie" "is" "red" "-")
triple4
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7