The bald eagle is blue. The bear eats the bald eagle. The bear is not nice. The bear is young. The squirrel eats the bald eagle. The squirrel does not need the tiger. The tiger sees the bald eagle. If someone is nice and round then they see the bald eagle. If someone eats the bear then the bear is green. If someone is blue then they eat the bear. If the bald eagle eats the tiger and the bald eagle does not need the bear then the tiger needs the bear. If someone eats the tiger and the tiger eats the bear then they eat the bald eagle. If the squirrel does not see the bear then the squirrel does not need the bear. If someone is green then they are blue. If someone eats the bear then they are round.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is young.
("bear" "is" "young" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel does not need the tiger.
("squirrel" "needs" "tiger" "-")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone is nice and round then they see the bald eagle.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone eats the bear then the bear is green.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "green" "+"))
If someone is blue then they eat the bear.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "bear" "+"))
If the bald eagle eats the tiger and the bald eagle does not need the bear then the tiger needs the bear.
((("bald eagle" "eats" "tiger" "+") ("bald eagle" "needs" "bear" "~")) -> ("tiger" "needs" "bear" "+"))
If someone eats the tiger and the tiger eats the bear then they eat the bald eagle.
((("someone" "eats" "tiger" "+") ("tiger" "eats" "bear" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the squirrel does not see the bear then the squirrel does not need the bear.
((("squirrel" "sees" "bear" "~")) -> ("squirrel" "needs" "bear" "-"))
If someone is green then they are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone eats the bear then they are round.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "round" "+"))
The squirrel eats the bald eagle.
True
1
proof
[(triple5)]
("squirrel" "eats" "bald eagle" "+")
triple5
The squirrel needs the tiger.
False
1
inv-proof
[(triple6)]
("squirrel" "needs" "tiger" "+")
triple6
The bald eagle eats the bear.
True
2
proof
[(((triple1) -> rule3))]
("bald eagle" "eats" "bear" "+")
((triple1) -> (rule3 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle does not eat the bear.
False
2
inv-proof
[(((triple1) -> rule3))]
("bald eagle" "eats" "bear" "-")
((triple1) -> (rule3 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear is green.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("bear" "is" "green" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle is not round.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule8))]
("bald eagle" "is" "round" "-")
((((triple1) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear is blue.
True
4
proof
[(((((((triple1) -> rule3)) -> rule2)) -> rule7))]
("bear" "is" "blue" "+")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear is not blue.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule2)) -> rule7))]
("bear" "is" "blue" "-")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear eats the bear.
True
5
proof
[(((((((((triple1) -> rule3)) -> rule2)) -> rule7)) -> rule3))]
("bear" "eats" "bear" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bear does not eat the bear.
False
5
inv-proof
[(((((((((triple1) -> rule3)) -> rule2)) -> rule7)) -> rule3))]
("bear" "eats" "bear" "-")
((((((((triple1) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bear is round.
True
6
proof
[(((((((((((triple1) -> rule3)) -> rule2)) -> rule7)) -> rule3)) -> rule8))]
("bear" "is" "round" "+")
((((((((((triple1) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bear is not round.
False
6
inv-proof
[(((((((((((triple1) -> rule3)) -> rule2)) -> rule7)) -> rule3)) -> rule8))]
("bear" "is" "round" "-")
((((((((((triple1) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The tiger does not eat the bald eagle.
Unknown
inv-rconc
[@1: The tiger eats the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "eats" "bald eagle" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "blue" "+")
The tiger does not eat the bear.
Unknown
inv-rconc
[@2: The tiger eats the bear.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("tiger" "eats" "bear" "-")
The tiger is round.
Unknown
rconc
[@3: The tiger is round.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule7 <- FAIL)]]
("tiger" "is" "round" "+")
The bear does not see the bald eagle.
Unknown
inv-rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bald eagle" "-")
The tiger is blue.
Unknown
rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "is" "blue" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle needs the tiger.
Unknown
random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "+")
The bald eagle does not need the bear.
Unknown
inv-random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The bald eagle is blue.[(triple1)] The bear eats the bald eagle.[(triple2)] The bear is not nice.[(triple3)] The bear is young.[(triple4)] The squirrel does not need the tiger.[(triple6)] The squirrel eats the bald eagle.[(triple5)] The tiger sees the bald eagle.[(triple7)] @1: The bald eagle eats the bear.[(((triple1) -> rule3))] @2: The bald eagle is round.[(((((triple1) -> rule3)) -> rule8))] The bear is green.[(((((triple1) -> rule3)) -> rule2))] @3: The bear is blue.[(((((((triple1) -> rule3)) -> rule2)) -> rule7))] @4: The bear eats the bear.[(((((((((triple1) -> rule3)) -> rule2)) -> rule7)) -> rule3))] @5: The bear is round.[(((((((((((triple1) -> rule3)) -> rule2)) -> rule7)) -> rule3)) -> rule8))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple2
The bear is not nice.
("bear" "is" "nice" "-")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The squirrel does not need the tiger.
("squirrel" "needs" "tiger" "-")
triple6
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple5
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple7
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((triple1) -> (rule3 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((triple1) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear is green.
("bear" "is" "green" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bear is round.
("bear" "is" "round" "+")
((((((((((triple1) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5