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