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