Gary is not furry. Gary is green. Gary is kind. Gary is nice. Gary is not quiet. Gary is round. Gary is white. If someone is nice then they are white.
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is nice then they are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Gary is kind.
True
1
proof
[(triple3)]
("Gary" "is" "kind" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple3)]
("Gary" "is" "kind" "-")
triple3
@0: Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is not furry.[(triple1)] Gary is not quiet.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7 OR ((triple4) -> rule1))]
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is not furry.
("Gary" "is" "furry" "-")
triple1
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
((triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1