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