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