The bald eagle chases the lion. The bald eagle chases the squirrel. The bald eagle likes the lion. The bald eagle needs the squirrel. The lion chases the bald eagle. The lion chases the squirrel. The lion is blue. The lion is nice. The lion likes the bald eagle. The lion likes the squirrel. The lion needs the bald eagle. The lion needs the squirrel. The squirrel chases the bald eagle. The squirrel chases the lion. The squirrel is blue. The squirrel needs the bald eagle. If the bald eagle chases the squirrel and the squirrel is nice then the bald eagle is big. If something needs the lion then the lion chases the bald eagle. If something needs the bald eagle and the bald eagle is big then it likes the lion. If something needs the squirrel then the squirrel likes the lion. If something chases the squirrel and it needs the lion then it likes the squirrel. If something needs the lion and the lion chases the squirrel then it chases the lion. If something chases the squirrel then it needs the lion. If something needs the squirrel and it likes the squirrel then the squirrel needs the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If the bald eagle chases the squirrel and the squirrel is nice then the bald eagle is big.
((("bald eagle" "chases" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("bald eagle" "is" "big" "+"))
If something needs the lion then the lion chases the bald eagle.
((("something" "needs" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
If something needs the bald eagle and the bald eagle is big then it likes the lion.
((("something" "needs" "bald eagle" "+") ("bald eagle" "is" "big" "+")) -> ("something" "likes" "lion" "+"))
If something needs the squirrel then the squirrel likes the lion.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "likes" "lion" "+"))
If something chases the squirrel and it needs the lion then it likes the squirrel.
((("something" "chases" "squirrel" "+") ("something" "needs" "lion" "+")) -> ("something" "likes" "squirrel" "+"))
If something needs the lion and the lion chases the squirrel then it chases the lion.
((("something" "needs" "lion" "+") ("lion" "chases" "squirrel" "+")) -> ("something" "chases" "lion" "+"))
If something chases the squirrel then it needs the lion.
((("something" "chases" "squirrel" "+")) -> ("something" "needs" "lion" "+"))
If something needs the squirrel and it likes the squirrel then the squirrel needs the lion.
((("something" "needs" "squirrel" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "needs" "lion" "+"))
The lion likes the bald eagle.
True
1
proof
[(triple9)]
("lion" "likes" "bald eagle" "+")
triple9
The squirrel is not blue.
False
1
inv-proof
[(triple15)]
("squirrel" "is" "blue" "-")
triple15
The squirrel needs the lion.
True
3
proof
[(((triple12 triple10) -> rule8) OR ((triple12 ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule8) OR ((triple4 ((triple2 ((triple2) -> rule7)) -> rule5)) -> rule8))]
("squirrel" "needs" "lion" "+")
((triple12 triple10) -> (rule8 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
((triple12 ((triple6 ((triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The lion needs the lion.
("lion" "needs" "lion" "+")
int3
((triple4 ((triple2 ((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int3
The squirrel does not like the lion.
False
2
inv-proof
[(((triple12) -> rule4) OR ((triple4) -> rule4))]
("squirrel" "likes" "lion" "-")
((triple12) -> (rule4 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
((triple4) -> (rule4 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The bald eagle likes the squirrel.
True
4
proof
[(((triple2 ((triple2) -> rule7)) -> rule5))]
("bald eagle" "likes" "squirrel" "+")
((triple2 ((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The lion does not chase the lion.
False
4
inv-proof
[(((((triple6) -> rule7) triple6) -> rule6))]
("lion" "chases" "lion" "-")
((((triple6) -> (rule7 % int2)) triple6) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "+")
The lion does not like the lion.
Unknown
inv-rconc
[@2: The lion likes the lion.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("lion" "likes" "lion" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The bald eagle chases the lion.[(triple1 OR ((((triple2) -> rule7) triple6) -> rule6))] The bald eagle chases the squirrel.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The lion chases the bald eagle.[(triple5 OR ((((triple2) -> rule7)) -> rule2) OR ((((triple6) -> rule7)) -> rule2) OR ((((triple12 triple10) -> rule8)) -> rule2) OR ((((triple12 ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule8)) -> rule2) OR ((((triple4 ((triple2 ((triple2) -> rule7)) -> rule5)) -> rule8)) -> rule2))] The lion chases the squirrel.[(triple6)] The lion is blue.[(triple7)] The lion is nice.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion likes the squirrel.[(triple10 OR ((triple6 ((triple6) -> rule7)) -> rule5))] The lion needs the bald eagle.[(triple11)] The lion needs the squirrel.[(triple12)] The squirrel chases the bald eagle.[(triple13)] The squirrel chases the lion.[(triple14 OR ((((triple12 triple10) -> rule8) triple6) -> rule6) OR ((((triple12 ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule8) triple6) -> rule6) OR ((((triple4 ((triple2 ((triple2) -> rule7)) -> rule5)) -> rule8) triple6) -> rule6))] The squirrel is blue.[(triple15)] The squirrel needs the bald eagle.[(triple16)] @1: The bald eagle needs the lion.[(((triple2) -> rule7))] The lion needs the lion.[(((triple6) -> rule7))] The squirrel likes the lion.[(((triple12) -> rule4) OR ((triple4) -> rule4))] The squirrel needs the lion.[(((triple12 triple10) -> rule8) OR ((triple12 ((triple6 ((triple6) -> rule7)) -> rule5)) -> rule8) OR ((triple4 ((triple2 ((triple2) -> rule7)) -> rule5)) -> rule8))] @2: The bald eagle likes the squirrel.[(((triple2 ((triple2) -> rule7)) -> rule5))] The lion chases the lion.[(((((triple6) -> rule7) triple6) -> rule6))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
((((triple2) -> (rule7 % int2)) triple6) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
((((triple6) -> (rule7 % int2))) -> (rule2 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
((((triple12 triple10) -> (rule8 % int2))) -> (rule2 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
((((triple12 ((triple6 ((triple6) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The lion needs the lion.
("lion" "needs" "lion" "+")
int4
((((triple4 ((triple2 ((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int4
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple9
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple10
((triple6 ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple11
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple12
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple13
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple14
((((triple12 triple10) -> (rule8 % int2)) triple6) -> (rule6 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
((((triple12 ((triple6 ((triple6) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The lion needs the lion.
("lion" "needs" "lion" "+")
int4
((((triple4 ((triple2 ((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple15
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple16
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple2) -> (rule7 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple6) -> (rule7 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
((triple12) -> (rule4 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
((triple4) -> (rule4 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
((triple12 triple10) -> (rule8 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
((triple12 ((triple6 ((triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The lion needs the lion.
("lion" "needs" "lion" "+")
int3
((triple4 ((triple2 ((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((triple2 ((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
((((triple6) -> (rule7 % int2)) triple6) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2