Gary is furry. Gary is kind. Gary is quiet. Gary is rough. Gary is round. Gary is white. Gary is young. If someone is quiet and not round then they are kind.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is quiet and not round then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "kind" "+"))
Gary is kind.
True
1
proof
[(triple2)]
("Gary" "is" "kind" "+")
triple2
Gary is not white.
False
1
inv-proof
[(triple6)]
("Gary" "is" "white" "-")
triple6
@0: Gary is furry.[(triple1)] Gary is kind.[(triple2)] Gary is quiet.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7