The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle chases the squirrel. The bald eagle is big. The bald eagle is round. The bald eagle visits the cat. The bald eagle visits the squirrel. The cat needs the lion. The lion chases the bald eagle. The lion chases the cat. The lion chases the squirrel. The lion is nice. The lion is round. The lion needs the squirrel. The lion visits the squirrel. The squirrel chases the lion. If something needs the bald eagle then it is big. If something chases the bald eagle then it needs the bald eagle. If something is round then it needs the lion. Red things are round. If something visits the bald eagle and the bald eagle chases the squirrel then the bald eagle chases the lion. If something chases the lion and the lion needs the bald eagle then it is nice. If something is nice then it is red. If something chases the lion and the lion is round then the lion is red.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
If something needs the bald eagle then it is big.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "big" "+"))
If something chases the bald eagle then it needs the bald eagle.
((("something" "chases" "bald eagle" "+")) -> ("something" "needs" "bald eagle" "+"))
If something is round then it needs the lion.
((("something" "is" "round" "+")) -> ("something" "needs" "lion" "+"))
Red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something visits the bald eagle and the bald eagle chases the squirrel then the bald eagle chases the lion.
((("something" "visits" "bald eagle" "+") ("bald eagle" "chases" "squirrel" "+")) -> ("bald eagle" "chases" "lion" "+"))
If something chases the lion and the lion needs the bald eagle then it is nice.
((("something" "chases" "lion" "+") ("lion" "needs" "bald eagle" "+")) -> ("something" "is" "nice" "+"))
If something is nice then it is red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If something chases the lion and the lion is round then the lion is red.
((("something" "chases" "lion" "+") ("lion" "is" "round" "+")) -> ("lion" "is" "red" "+"))
The squirrel chases the lion.
True
1
proof
[(triple16)]
("squirrel" "chases" "lion" "+")
triple16
The cat does not need the lion.
False
1
inv-proof
[(triple8)]
("cat" "needs" "lion" "-")
triple8
The lion needs the bald eagle.
True
2
proof
[(((triple9) -> rule2))]
("lion" "needs" "bald eagle" "+")
((triple9) -> (rule2 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion is not red.
False
2
inv-proof
[(((triple12) -> rule7) OR ((triple16 triple13) -> rule8) OR ((triple2 triple13) -> rule8))]
("lion" "is" "red" "-")
((triple12) -> (rule7 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
((triple16 triple13) -> (rule8 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
((triple2 triple13) -> (rule8 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The squirrel is nice.
True
4
proof
[(((triple16 ((triple9) -> rule2)) -> rule6))]
("squirrel" "is" "nice" "+")
((triple16 ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The squirrel is not nice.
False
4
inv-proof
[(((triple16 ((triple9) -> rule2)) -> rule6))]
("squirrel" "is" "nice" "-")
((triple16 ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The squirrel is red.
True
5
proof
[(((((triple16 ((triple9) -> rule2)) -> rule6)) -> rule7))]
("squirrel" "is" "red" "+")
((((triple16 ((triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The squirrel is not red.
False
5
inv-proof
[(((((triple16 ((triple9) -> rule2)) -> rule6)) -> rule7))]
("squirrel" "is" "red" "-")
((((triple16 ((triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The squirrel is round.
True
6
proof
[(((((((triple16 ((triple9) -> rule2)) -> rule6)) -> rule7)) -> rule4))]
("squirrel" "is" "round" "+")
((((((triple16 ((triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int4
The squirrel is not round.
False
6
inv-proof
[(((((((triple16 ((triple9) -> rule2)) -> rule6)) -> rule7)) -> rule4))]
("squirrel" "is" "round" "-")
((((((triple16 ((triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int4
The squirrel needs the lion.
True
7
proof
[(((((((((triple16 ((triple9) -> rule2)) -> rule6)) -> rule7)) -> rule4)) -> rule3))]
("squirrel" "needs" "lion" "+")
((((((((triple16 ((triple9) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int5
The squirrel does not need the lion.
False
7
inv-proof
[(((((((((triple16 ((triple9) -> rule2)) -> rule6)) -> rule7)) -> rule4)) -> rule3))]
("squirrel" "needs" "lion" "-")
((((((((triple16 ((triple9) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int5
The cat is not big.
Unknown
inv-rconc
[@2: The cat is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cat" "is" "big" "-")
The cat is round.
Unknown
rconc
[@3: The cat is round.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule6 <- FAIL)]]
("cat" "is" "round" "+")
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "nice" "-")
The squirrel needs the bald eagle.
Unknown
rconc
[@1: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "bald eagle" "+")
The cat does not need the bald eagle.
Unknown
inv-rconc
[@1: The cat needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "needs" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The bald eagle does not need the squirrel.
Unknown
inv-random
[@0: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The cat chases the squirrel.
Unknown
random
[@0: The cat chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "squirrel" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle chases the squirrel.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle is round.[(triple5 OR ((((((triple2 ((triple9) -> rule2)) -> rule6)) -> rule7)) -> rule4))] The bald eagle visits the cat.[(triple6)] The bald eagle visits the squirrel.[(triple7)] The cat needs the lion.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion chases the cat.[(triple10)] The lion chases the squirrel.[(triple11)] The lion is nice.[(triple12)] The lion is round.[(triple13 OR ((((triple12) -> rule7)) -> rule4))] The lion needs the squirrel.[(triple14)] The lion visits the squirrel.[(triple15)] The squirrel chases the lion.[(triple16)] @1: The bald eagle needs the lion.[(((triple5) -> rule3) OR ((((((((triple2 ((triple9) -> rule2)) -> rule6)) -> rule7)) -> rule4)) -> rule3))] The lion is red.[(((triple12) -> rule7) OR ((triple16 triple13) -> rule8) OR ((triple2 triple13) -> rule8))] The lion needs the bald eagle.[(((triple9) -> rule2))] The lion needs the lion.[(((triple13) -> rule3) OR ((((((triple12) -> rule7)) -> rule4)) -> rule3))] @2: The bald eagle is nice.[(((triple2 ((triple9) -> rule2)) -> rule6))] The lion is big.[(((((triple9) -> rule2)) -> rule1))] The squirrel is nice.[(((triple16 ((triple9) -> rule2)) -> rule6))] @3: The bald eagle is red.[(((((triple2 ((triple9) -> rule2)) -> rule6)) -> rule7))] The squirrel is red.[(((((triple16 ((triple9) -> rule2)) -> rule6)) -> rule7))] @4: The squirrel is round.[(((((((triple16 ((triple9) -> rule2)) -> rule6)) -> rule7)) -> rule4))] @5: The squirrel needs the lion.[(((((((((triple16 ((triple9) -> rule2)) -> rule6)) -> rule7)) -> rule4)) -> rule3))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
((((((triple2 ((triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int4
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple6
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple7
The cat needs the lion.
("cat" "needs" "lion" "+")
triple8
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple9
The lion chases the cat.
("lion" "chases" "cat" "+")
triple10
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple11
The lion is nice.
("lion" "is" "nice" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
triple13
((((triple12) -> (rule7 % int2))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple14
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple15
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple16
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple5) -> (rule3 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
((((((((triple2 ((triple9) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int5
The lion is red.
("lion" "is" "red" "+")
((triple12) -> (rule7 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
((triple16 triple13) -> (rule8 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
((triple2 triple13) -> (rule8 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
((triple9) -> (rule2 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple13) -> (rule3 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
((((((triple12) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple2 ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The lion is big.
("lion" "is" "big" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple16 ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple2 ((triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
((((triple16 ((triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
((((((triple16 ((triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int4
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
((((((((triple16 ((triple9) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int5