The dog is not big. The dog is cold. The dog is not green. The dog is rough. The dog is young. All big people are cold.
The dog is not big.
("dog" "is" "big" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog is rough.
("dog" "is" "rough" "+")
The dog is young.
("dog" "is" "young" "+")
All big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
The dog is young.
True
1
proof
[(triple5)]
("dog" "is" "young" "+")
triple5
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 needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The dog is cold.[(triple2)] The dog is not big.[(triple1)] The dog is not green.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5)]
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is not big.
("dog" "is" "big" "-")
triple1
The dog is not green.
("dog" "is" "green" "-")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5