Bob is not cold. Bob is furry. Bob is not green. Bob is not nice. Bob is not red. Fiona is big. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. If someone is cold then they are green. If someone is cold then they are not red.
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is not red.
("Bob" "is" "red" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If someone is cold then they are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they are not red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "-"))
Fiona is nice.
True
1
proof
[(triple11)]
("Fiona" "is" "nice" "+")
triple11
Fiona is not blue.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "blue" "-")
triple7
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is furry.[(triple2)] Bob is not cold.[(triple1)] Bob is not green.[(triple3)] Bob is not nice.[(triple4)] Bob is not red.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is not cold.[(triple8)] Fiona is red.[(triple12)]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple3
Bob is not nice.
("Bob" "is" "nice" "-")
triple4
Bob is not red.
("Bob" "is" "red" "-")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple12