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