The bald eagle chases the tiger. The bald eagle eats the bear. The bear chases the bald eagle. The bear eats the bald eagle. The squirrel chases the bald eagle. The squirrel is blue. The squirrel is red. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is red. If the squirrel is red and the squirrel eats the bear then the bear eats the squirrel. If someone is red then they eat the squirrel. If someone chases the bald eagle and they chase the squirrel then the squirrel eats the bald eagle. If someone eats the bald eagle and they like the squirrel then they chase the bald eagle. If someone eats the squirrel then the squirrel is nice. If someone likes the squirrel and they chase the bald eagle then the bald eagle eats the tiger. If the tiger chases the bear then the bear chases the tiger. If someone is nice then they are young.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is red.
("tiger" "is" "red" "+")
If the squirrel is red and the squirrel eats the bear then the bear eats the squirrel.
((("squirrel" "is" "red" "+") ("squirrel" "eats" "bear" "+")) -> ("bear" "eats" "squirrel" "+"))
If someone is red then they eat the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone chases the bald eagle and they chase the squirrel then the squirrel eats the bald eagle.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone eats the bald eagle and they like the squirrel then they chase the bald eagle.
((("someone" "eats" "bald eagle" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone eats the squirrel then the squirrel is nice.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
If someone likes the squirrel and they chase the bald eagle then the bald eagle eats the tiger.
((("someone" "likes" "squirrel" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If the tiger chases the bear then the bear chases the tiger.
((("tiger" "chases" "bear" "+")) -> ("bear" "chases" "tiger" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
The tiger is red.
True
1
proof
[(triple10)]
("tiger" "is" "red" "+")
triple10
The tiger does not chase the bald eagle.
False
1
inv-proof
[(triple8)]
("tiger" "chases" "bald eagle" "-")
triple8
The squirrel eats the squirrel.
True
2
proof
[(((triple7) -> rule2))]
("squirrel" "eats" "squirrel" "+")
((triple7) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The tiger does not eat the squirrel.
False
2
inv-proof
[(((triple10) -> rule2))]
("tiger" "eats" "squirrel" "-")
((triple10) -> (rule2 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The squirrel is nice.
True
3
proof
[(((((triple10) -> rule2)) -> rule5) OR ((((triple7) -> rule2)) -> rule5))]
("squirrel" "is" "nice" "+")
((((triple10) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule5 % 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
[(((((triple10) -> rule2)) -> rule5) OR ((((triple7) -> rule2)) -> rule5))]
("squirrel" "is" "nice" "-")
((((triple10) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is young.
True
4
proof
[(((((((triple10) -> rule2)) -> rule5)) -> rule8) OR ((((((triple7) -> rule2)) -> rule5)) -> rule8))]
("squirrel" "is" "young" "+")
((((((triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is not young.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule5)) -> rule8) OR ((((((triple7) -> rule2)) -> rule5)) -> rule8))]
("squirrel" "is" "young" "-")
((((((triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The bald eagle does not eat the squirrel.
Unknown
inv-rconc
[@1: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The bear eats the squirrel.
Unknown
rconc
[@1: The bear eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "squirrel" "+")
The bear does not chase the tiger.
Unknown
inv-rconc
[@1: The bear chases the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "chases" "tiger" "-")
The squirrel eats the bald eagle.
Unknown
rconc
[@1: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The squirrel does not eat the tiger.
Unknown
inv-random
[@0: The squirrel eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "tiger" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The squirrel does not eat the bear.
Unknown
inv-random
[@0: The squirrel eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bear" "-")
The bear likes the squirrel.
Unknown
random
[@0: The bear likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "squirrel" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the bear.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear eats the bald eagle.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is red.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger is red.[(triple10)] @1: The squirrel eats the squirrel.[(((triple7) -> rule2))] The tiger eats the squirrel.[(((triple10) -> rule2))] @2: The squirrel is nice.[(((((triple10) -> rule2)) -> rule5) OR ((((triple7) -> rule2)) -> rule5))] @3: The squirrel is young.[(((((((triple10) -> rule2)) -> rule5)) -> rule8) OR ((((((triple7) -> rule2)) -> rule5)) -> rule8))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple10
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple7) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
((triple10) -> (rule2 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((triple10) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((((((triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3