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