Bob is green. Charlie is not big. Charlie is blue. Charlie is cold. Charlie is not quiet. Fiona is not big. Fiona is blue. If Charlie is green and Charlie is red then Charlie is not quiet.
Bob is green.
("Bob" "is" "green" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
If Charlie is green and Charlie is red then Charlie is not quiet.
((("Charlie" "is" "green" "+") ("Charlie" "is" "red" "+")) -> ("Charlie" "is" "quiet" "-"))
Fiona is not big.
True
1
proof
[(triple6)]
("Fiona" "is" "big" "-")
triple6
Charlie is big.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "big" "+")
triple2
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is green.[(triple1)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is not big.[(triple2)] Charlie is not quiet.[(triple5)] Fiona is blue.[(triple7)] Fiona is not big.[(triple6)]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is not big.
("Charlie" "is" "big" "-")
triple2
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is not big.
("Fiona" "is" "big" "-")
triple6