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