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