Gary is blue. Gary is cold. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is white. All round, white people are rough. If someone is round then they are white.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
All round, white people are rough.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Gary is smart.
True
1
proof
[(triple6)]
("Gary" "is" "smart" "+")
triple6
Gary is not white.
False
1
inv-proof
[(triple7 OR ((triple5) -> rule2))]
("Gary" "is" "white" "-")
triple7
((triple5) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is red.[(triple3)] Gary is rough.[(triple4 OR ((triple5 triple7) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule1))] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple5) -> rule2))]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
((triple5 triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple5 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
((triple5) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1