The dog is big. The dog is red. The dog is not rough. The dog is not round. The dog is young. If something is young and round then it is not big.
The dog is big.
("dog" "is" "big" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog is not round.
("dog" "is" "round" "-")
The dog is young.
("dog" "is" "young" "+")
If something is young and round then it is not big.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "-"))
The dog is young.
True
1
proof
[(triple5)]
("dog" "is" "young" "+")
triple5
The dog is not red.
False
1
inv-proof
[(triple2)]
("dog" "is" "red" "-")
triple2
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog is big.[(triple1)] The dog is not rough.[(triple3)] The dog is not round.[(triple4)] The dog is red.[(triple2)] The dog is young.[(triple5)]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is not rough.
("dog" "is" "rough" "-")
triple3
The dog is not round.
("dog" "is" "round" "-")
triple4
The dog is red.
("dog" "is" "red" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple5