Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is white. All rough, kind people are red. Furry, big people are white.
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
All rough, kind people are red.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Furry, big people are white.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Gary is nice.
True
1
proof
[(triple4)]
("Gary" "is" "nice" "+")
triple4
Gary is not nice.
False
1
inv-proof
[(triple4)]
("Gary" "is" "nice" "-")
triple4
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is red.[(triple5 OR ((triple6 triple3) -> rule1))] Gary is rough.[(triple6)] Gary is white.[(triple7 OR ((triple2 triple1) -> rule2))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
((triple6 triple3) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
((triple2 triple1) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1