The cat does not chase the squirrel. The cat is big. The cat is blue. The cat is cold. The cat is nice. The cat likes the squirrel. The cat visits the squirrel. The squirrel chases the cat. The squirrel is not big. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel likes the cat. The squirrel does not visit the cat. If something likes the cat and the cat is cold then the cat is blue.
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
If something likes the cat and the cat is cold then the cat is blue.
((("something" "likes" "cat" "+") ("cat" "is" "cold" "+")) -> ("cat" "is" "blue" "+"))
The cat is big.
True
1
proof
[(triple2)]
("cat" "is" "big" "+")
triple2
The squirrel is big.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "big" "+")
triple9
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The cat does not chase the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3 OR ((triple14 triple4) -> rule1))] The cat is cold.[(triple4)] The cat is nice.[(triple5)] The cat likes the squirrel.[(triple6)] The cat visits the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel does not visit the cat.[(triple15)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is not big.[(triple9)] The squirrel likes the cat.[(triple14)]
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
((triple14 triple4) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple6
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple7
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
triple15
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel is not big.
("squirrel" "is" "big" "-")
triple9
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple14