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