Gary is big. Gary is quiet. Gary is red. Gary is white. Harry is cold. Harry is quiet. Harry is round. If something is cold and quiet then it is big. If Gary is big and Gary is not cold then Gary is white.
Gary is big.
("Gary" "is" "big" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is cold and quiet then it is big.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
If Gary is big and Gary is not cold then Gary is white.
((("Gary" "is" "big" "+") ("Gary" "is" "cold" "~")) -> ("Gary" "is" "white" "+"))
Gary is white.
True
1
proof
[(triple4)]
("Gary" "is" "white" "+")
triple4
Harry is not quiet.
False
1
inv-proof
[(triple6)]
("Harry" "is" "quiet" "-")
triple6
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Gary is big.[(triple1)] Gary is quiet.[(triple2)] Gary is red.[(triple3)] Gary is white.[(triple4)] Harry is cold.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Harry is big.[(((triple5 triple6) -> rule1))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
((triple5 triple6) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1