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