Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is rough. Gary is round. If someone is kind and round then they are quiet. If someone is cold and rough then they are big. If someone is rough and quiet then they are big.
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is kind and round then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is cold and rough then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and quiet then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Gary is cold.
True
1
proof
[(triple3)]
("Gary" "is" "cold" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple4)]
("Gary" "is" "kind" "-")
triple4
@0: Gary is big.[(triple1 OR ((triple3 triple6) -> rule2) OR ((triple6 triple5) -> rule3) OR ((triple6 ((triple4 triple7) -> rule1)) -> rule3))] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is kind.[(triple4)] Gary is quiet.[(triple5 OR ((triple4 triple7) -> rule1))] Gary is rough.[(triple6)] Gary is round.[(triple7)]
Gary is big.
("Gary" "is" "big" "+")
triple1
((triple3 triple6) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple6 triple5) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple6 ((triple4 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
((triple4 triple7) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7