The bald eagle likes the bear. The bear needs the bald eagle. The bear sees the bald eagle. The mouse is round. The mouse sees the bald eagle. The squirrel needs the bear. The squirrel sees the bear. If something likes the bear and it needs the bald eagle then the bald eagle likes the squirrel. If something needs the bald eagle and it needs the squirrel then the squirrel is big. If the mouse is blue and the mouse is big then the mouse is nice. If something likes the bald eagle then the bald eagle is round. If something is blue and it likes the bear then it likes the bald eagle. If the squirrel likes the mouse then the squirrel needs the bald eagle. If something sees the bald eagle then the bald eagle is blue. If something is blue and nice then it is round.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something likes the bear and it needs the bald eagle then the bald eagle likes the squirrel.
((("something" "likes" "bear" "+") ("something" "needs" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If something needs the bald eagle and it needs the squirrel then the squirrel is big.
((("something" "needs" "bald eagle" "+") ("something" "needs" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
If the mouse is blue and the mouse is big then the mouse is nice.
((("mouse" "is" "blue" "+") ("mouse" "is" "big" "+")) -> ("mouse" "is" "nice" "+"))
If something likes the bald eagle then the bald eagle is round.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If something is blue and it likes the bear then it likes the bald eagle.
((("something" "is" "blue" "+") ("something" "likes" "bear" "+")) -> ("something" "likes" "bald eagle" "+"))
If the squirrel likes the mouse then the squirrel needs the bald eagle.
((("squirrel" "likes" "mouse" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If something sees the bald eagle then the bald eagle is blue.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If something is blue and nice then it is round.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
The mouse sees the bald eagle.
True
1
proof
[(triple5)]
("mouse" "sees" "bald eagle" "+")
triple5
The bald eagle does not like the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "bear" "-")
triple1
The bald eagle is blue.
True
2
proof
[(((triple3) -> rule7) OR ((triple5) -> rule7))]
("bald eagle" "is" "blue" "+")
((triple3) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
((triple5) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple3) -> rule7) OR ((triple5) -> rule7))]
("bald eagle" "is" "blue" "-")
((triple3) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
((triple5) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle likes the bald eagle.
True
4
proof
[(((((triple3) -> rule7) triple1) -> rule5) OR ((((triple5) -> rule7) triple1) -> rule5))]
("bald eagle" "likes" "bald eagle" "+")
((((triple3) -> (rule7 % int2)) triple1) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
((((triple5) -> (rule7 % int2)) triple1) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle does not like the bald eagle.
False
4
inv-proof
[(((((triple3) -> rule7) triple1) -> rule5) OR ((((triple5) -> rule7) triple1) -> rule5))]
("bald eagle" "likes" "bald eagle" "-")
((((triple3) -> (rule7 % int2)) triple1) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
((((triple5) -> (rule7 % int2)) triple1) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is round.
True
5
proof
[(((((((triple3) -> rule7) triple1) -> rule5)) -> rule4) OR ((((((triple5) -> rule7) triple1) -> rule5)) -> rule4))]
("bald eagle" "is" "round" "+")
((((((triple3) -> (rule7 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
((((((triple5) -> (rule7 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle is not round.
False
5
inv-proof
[(((((((triple3) -> rule7) triple1) -> rule5)) -> rule4) OR ((((((triple5) -> rule7) triple1) -> rule5)) -> rule4))]
("bald eagle" "is" "round" "-")
((((((triple3) -> (rule7 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
((((((triple5) -> (rule7 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bear does not like the bald eagle.
Unknown
inv-rconc
[@1: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "likes" "bald eagle" "-")
The squirrel likes the bald eagle.
Unknown
rconc
[@1: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "likes" "bald eagle" "+")
The mouse does not like the bald eagle.
Unknown
inv-rconc
[@1: The mouse likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "likes" "bald eagle" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "round" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The mouse sees the bear.
Unknown
random
[@0: The mouse sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bear" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The bald eagle likes the bear.[(triple1)] The bear needs the bald eagle.[(triple2)] The bear sees the bald eagle.[(triple3)] The mouse is round.[(triple4)] The mouse sees the bald eagle.[(triple5)] The squirrel needs the bear.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The bald eagle is blue.[(((triple3) -> rule7) OR ((triple5) -> rule7))] @2: The bald eagle likes the bald eagle.[(((((triple3) -> rule7) triple1) -> rule5) OR ((((triple5) -> rule7) triple1) -> rule5))] @3: The bald eagle is round.[(((((((triple3) -> rule7) triple1) -> rule5)) -> rule4) OR ((((((triple5) -> rule7) triple1) -> rule5)) -> rule4))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple3
The mouse is round.
("mouse" "is" "round" "+")
triple4
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple5
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple6
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple7
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple3) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
((triple5) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((triple3) -> (rule7 % int2)) triple1) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
((((triple5) -> (rule7 % int2)) triple1) -> (rule5 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((((triple3) -> (rule7 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
((((((triple5) -> (rule7 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3