Gary is not cold. Gary is green. Gary is nice. Gary is not red. Gary is round. Gary is young. Harry is not big. Harry is cold. Harry is not green. Harry is not nice. Harry is round. Harry is young. If Gary is young and Gary is not big then Gary is round. If Gary is green and Gary is not nice then Gary is round.
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If Gary is young and Gary is not big then Gary is round.
((("Gary" "is" "young" "+") ("Gary" "is" "big" "~")) -> ("Gary" "is" "round" "+"))
If Gary is green and Gary is not nice then Gary is round.
((("Gary" "is" "green" "+") ("Gary" "is" "nice" "~")) -> ("Gary" "is" "round" "+"))
Harry is round.
True
1
proof
[(triple11)]
("Harry" "is" "round" "+")
triple11
Harry is not round.
False
1
inv-proof
[(triple11)]
("Harry" "is" "round" "-")
triple11
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Gary is green.[(triple2)] Gary is nice.[(triple3)] Gary is not cold.[(triple1)] Gary is not red.[(triple4)] Gary is round.[(triple5)] Gary is young.[(triple6)] Harry is cold.[(triple8)] Harry is not big.[(triple7)] Harry is not green.[(triple9)] Harry is not nice.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)]
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Gary is not cold.
("Gary" "is" "cold" "-")
triple1
Gary is not red.
("Gary" "is" "red" "-")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is not big.
("Harry" "is" "big" "-")
triple7
Harry is not green.
("Harry" "is" "green" "-")
triple9
Harry is not nice.
("Harry" "is" "nice" "-")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12