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