The dog is not big. The dog is not cold. The dog is red. The dog is round. The dog is young. If something is round and not red then it is big.
The dog is not big.
("dog" "is" "big" "-")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
If something is round and not red then it is big.
((("something" "is" "round" "+") ("something" "is" "red" "~")) -> ("something" "is" "big" "+"))
The dog is not big.
True
1
proof
[(triple1)]
("dog" "is" "big" "-")
triple1
The dog is big.
False
1
inv-proof
[(triple1)]
("dog" "is" "big" "+")
triple1
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "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 not big.[(triple1)] The dog is not cold.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)]
The dog is not big.
("dog" "is" "big" "-")
triple1
The dog is not cold.
("dog" "is" "cold" "-")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5