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