The cow does not visit the squirrel. The rabbit is not blue. The rabbit is young. The squirrel chases the tiger. The squirrel is cold. The squirrel is young. The squirrel needs the tiger. The squirrel visits the tiger. The tiger chases the squirrel. The tiger is nice. The tiger needs the cow. The tiger does not visit the squirrel. If someone visits the cow and they are blue then the cow needs the squirrel.
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
If someone visits the cow and they are blue then the cow needs the squirrel.
((("someone" "visits" "cow" "+") ("someone" "is" "blue" "+")) -> ("cow" "needs" "squirrel" "+"))
The squirrel visits the tiger.
True
1
proof
[(triple8)]
("squirrel" "visits" "tiger" "+")
triple8
The tiger visits the squirrel.
False
1
inv-proof
[(triple12)]
("tiger" "visits" "squirrel" "+")
triple12
The cow does not need the squirrel.
Unknown
inv-rconc
[@1: The cow needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "squirrel" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The cow does not visit the squirrel.[(triple1)] The rabbit is not blue.[(triple2)] The rabbit is young.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel is cold.[(triple5)] The squirrel is young.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger does not visit the squirrel.[(triple12)] The tiger is nice.[(triple10)] The tiger needs the cow.[(triple11)]
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
triple1
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple2
The rabbit is young.
("rabbit" "is" "young" "+")
triple3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple4
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple5
The squirrel is young.
("squirrel" "is" "young" "+")
triple6
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple7
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple8
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple9
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple11