Bob is cold. Bob is green. Bob is quiet. Bob is smart. Bob is white. Erin is cold. Erin is furry. Erin is not quiet. Erin is white. Gary is big. Gary is cold. Gary is green. Gary is quiet. Gary is smart. Gary is white. Harry is furry. If Erin is not big then Erin is not furry.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Erin is not big then Erin is not furry.
((("Erin" "is" "big" "~")) -> ("Erin" "is" "furry" "-"))
Gary is cold.
True
1
proof
[(triple11)]
("Gary" "is" "cold" "+")
triple11
Harry is not furry.
False
1
inv-proof
[(triple16)]
("Harry" "is" "furry" "-")
triple16
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is not quiet.[(triple8)] Erin is white.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11)] Gary is green.[(triple12)] Gary is quiet.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] Harry is furry.[(triple16)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Harry is furry.
("Harry" "is" "furry" "+")
triple16