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