Gary is big. Gary is blue. Gary is cold. Gary is round. Gary is smart. Gary is white. Gary is young. Cold, smart people are round.
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Cold, smart people are round.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Gary is blue.
True
1
proof
[(triple2)]
("Gary" "is" "blue" "+")
triple2
Gary is not blue.
False
1
inv-proof
[(triple2)]
("Gary" "is" "blue" "-")
triple2
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is round.[(triple4 OR ((triple3 triple5) -> rule1))] Gary is smart.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
((triple3 triple5) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7