The dog is big. The dog is blue. The dog is young. Blue, cold things are young. If the dog is red then the dog is blue. If something is cold and red then it is big.
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is young.
("dog" "is" "young" "+")
Blue, cold things are young.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If the dog is red then the dog is blue.
((("dog" "is" "red" "+")) -> ("dog" "is" "blue" "+"))
If something is cold and red then it is big.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
The dog is big.
True
1
proof
[(triple1)]
("dog" "is" "big" "+")
triple1
The dog is not big.
False
1
inv-proof
[(triple1)]
("dog" "is" "big" "-")
triple1
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is young.[(triple3)]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3