Gary is not big. Gary is cold. Gary is not furry. Gary is red. Gary is round. Gary is not smart. Gary is young. Furry, red things are round. Smart things are not red. Big things are not red. Big things are smart. If Gary is smart and Gary is furry then Gary is round. If Gary is not furry and Gary is not red then Gary is young. If something is young and big then it is cold. Smart things are cold.
Gary is not big.
("Gary" "is" "big" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is young.
("Gary" "is" "young" "+")
Furry, red things are round.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Smart things are not red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "-"))
Big things are not red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "-"))
Big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If Gary is smart and Gary is furry then Gary is round.
((("Gary" "is" "smart" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "round" "+"))
If Gary is not furry and Gary is not red then Gary is young.
((("Gary" "is" "furry" "~") ("Gary" "is" "red" "~")) -> ("Gary" "is" "young" "+"))
If something is young and big then it is cold.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Smart things are cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Gary is red.
True
1
proof
[(triple4)]
("Gary" "is" "red" "+")
triple4
Gary is smart.
False
1
inv-proof
[(triple6)]
("Gary" "is" "smart" "+")
triple6
@0: Gary is cold.[(triple2)] Gary is not big.[(triple1)] Gary is not furry.[(triple3)] Gary is not smart.[(triple6)] Gary is red.[(triple4)] Gary is round.[(triple5)] Gary is young.[(triple7)]
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Gary is not big.
("Gary" "is" "big" "-")
triple1
Gary is not furry.
("Gary" "is" "furry" "-")
triple3
Gary is not smart.
("Gary" "is" "smart" "-")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple7