The bald eagle chases the squirrel. The bald eagle chases the tiger. The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is nice. The squirrel is cold. The tiger eats the bald eagle. The tiger eats the squirrel. The tiger is nice. The tiger needs the bald eagle. All young people are blue. If someone eats the bald eagle then they eat the tiger. If someone eats the bald eagle then they eat the tiger. If someone eats the squirrel and the squirrel is blue then the squirrel chases the bald eagle. If someone is nice and they chase the tiger then the tiger chases the squirrel. If someone eats the tiger and they need the bald eagle then the bald eagle is young.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
All young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone eats the bald eagle then they eat the tiger.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "tiger" "+"))
If someone eats the bald eagle then they eat the tiger.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "tiger" "+"))
If someone eats the squirrel and the squirrel is blue then the squirrel chases the bald eagle.
((("someone" "eats" "squirrel" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If someone is nice and they chase the tiger then the tiger chases the squirrel.
((("someone" "is" "nice" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
If someone eats the tiger and they need the bald eagle then the bald eagle is young.
((("someone" "eats" "tiger" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
The squirrel is cold.
True
1
proof
[(triple6)]
("squirrel" "is" "cold" "+")
triple6
The tiger does not need the bald eagle.
False
1
inv-proof
[(triple10)]
("tiger" "needs" "bald eagle" "-")
triple10
The tiger eats the tiger.
True
2
proof
[(((triple7) -> rule2) OR ((triple7) -> rule3))]
("tiger" "eats" "tiger" "+")
((triple7) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
((triple7) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
False
2
inv-proof
[(((triple7) -> rule2) OR ((triple7) -> rule3))]
("tiger" "eats" "tiger" "-")
((triple7) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
((triple7) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The bald eagle is young.
True
4
proof
[(((((triple7) -> rule2) triple10) -> rule6) OR ((((triple7) -> rule3) triple10) -> rule6))]
("bald eagle" "is" "young" "+")
((((triple7) -> (rule2 % int2)) triple10) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((triple7) -> (rule3 % int2)) triple10) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The bald eagle is not young.
False
4
inv-proof
[(((((triple7) -> rule2) triple10) -> rule6) OR ((((triple7) -> rule3) triple10) -> rule6))]
("bald eagle" "is" "young" "-")
((((triple7) -> (rule2 % int2)) triple10) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((triple7) -> (rule3 % int2)) triple10) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The bald eagle is blue.
True
5
proof
[(((((((triple7) -> rule2) triple10) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) triple10) -> rule6)) -> rule1))]
("bald eagle" "is" "blue" "+")
((((((triple7) -> (rule2 % int3)) triple10) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((((triple7) -> (rule3 % int3)) triple10) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The bald eagle is not blue.
False
5
inv-proof
[(((((((triple7) -> rule2) triple10) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) triple10) -> rule6)) -> rule1))]
("bald eagle" "is" "blue" "-")
((((((triple7) -> (rule2 % int3)) triple10) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((((triple7) -> (rule3 % int3)) triple10) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel chases the bald eagle.
Unknown
rconc
[@2: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("squirrel" "chases" "bald eagle" "+")
The bald eagle does not eat the tiger.
Unknown
inv-rconc
[@1: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "tiger" "-")
The squirrel eats the tiger.
Unknown
rconc
[@1: The squirrel eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "tiger" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The squirrel does not need the tiger.
Unknown
inv-random
[@0: The squirrel needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "tiger" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle is nice.[(triple5)] The squirrel is cold.[(triple6)] The tiger eats the bald eagle.[(triple7)] The tiger eats the squirrel.[(triple8)] The tiger is nice.[(triple9)] The tiger needs the bald eagle.[(triple10)] @1: The tiger chases the squirrel.[(((triple5 triple2) -> rule5))] The tiger eats the tiger.[(((triple7) -> rule2) OR ((triple7) -> rule3))] @2: The bald eagle is young.[(((((triple7) -> rule2) triple10) -> rule6) OR ((((triple7) -> rule3) triple10) -> rule6))] @3: The bald eagle is blue.[(((((((triple7) -> rule2) triple10) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) triple10) -> rule6)) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple6
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple7
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple8
The tiger is nice.
("tiger" "is" "nice" "+")
triple9
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple10
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((triple5 triple2) -> (rule5 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple7) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
((triple7) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple7) -> (rule2 % int2)) triple10) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((triple7) -> (rule3 % int2)) triple10) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((((triple7) -> (rule2 % int3)) triple10) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((((triple7) -> (rule3 % int3)) triple10) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3