The bald eagle eats the rabbit. The bald eagle is red. The bald eagle needs the cow. The cow eats the bald eagle. The cow eats the squirrel. The cow is nice. The rabbit is cold. The rabbit is red. The rabbit is rough. The rabbit needs the cow. The squirrel is nice. The squirrel sees the rabbit. If someone is young and they eat the squirrel then the squirrel is rough. If someone is nice and they see the bald eagle then the bald eagle sees the rabbit. If someone sees the rabbit then they see the bald eagle. If someone is nice and they see the rabbit then they are red. If the cow eats the bald eagle and the cow is cold then the bald eagle needs the cow. If someone is young and they see the cow then they are red. If the bald eagle is nice then the bald eagle eats the squirrel. If someone sees the rabbit then the rabbit needs the bald eagle.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is nice.
("cow" "is" "nice" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone is young and they eat the squirrel then the squirrel is rough.
((("someone" "is" "young" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone is nice and they see the bald eagle then the bald eagle sees the rabbit.
((("someone" "is" "nice" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If someone sees the rabbit then they see the bald eagle.
((("someone" "sees" "rabbit" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is nice and they see the rabbit then they are red.
((("someone" "is" "nice" "+") ("someone" "sees" "rabbit" "+")) -> ("someone" "is" "red" "+"))
If the cow eats the bald eagle and the cow is cold then the bald eagle needs the cow.
((("cow" "eats" "bald eagle" "+") ("cow" "is" "cold" "+")) -> ("bald eagle" "needs" "cow" "+"))
If someone is young and they see the cow then they are red.
((("someone" "is" "young" "+") ("someone" "sees" "cow" "+")) -> ("someone" "is" "red" "+"))
If the bald eagle is nice then the bald eagle eats the squirrel.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If someone sees the rabbit then the rabbit needs the bald eagle.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple4)]
("cow" "eats" "bald eagle" "+")
triple4
The cow does not eat the bald eagle.
False
1
inv-proof
[(triple4)]
("cow" "eats" "bald eagle" "-")
triple4
The squirrel sees the bald eagle.
True
2
proof
[(((triple12) -> rule3))]
("squirrel" "sees" "bald eagle" "+")
((triple12) -> (rule3 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The rabbit does not need the bald eagle.
False
2
inv-proof
[(((triple12) -> rule8) OR ((((triple11 ((triple12) -> rule3)) -> rule2)) -> rule8))]
("rabbit" "needs" "bald eagle" "-")
((triple12) -> (rule8 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
((((triple11 ((triple12) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
True
4
proof
[(((triple11 ((triple12) -> rule3)) -> rule2))]
("bald eagle" "sees" "rabbit" "+")
((triple11 ((triple12) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle does not see the rabbit.
False
4
inv-proof
[(((triple11 ((triple12) -> rule3)) -> rule2))]
("bald eagle" "sees" "rabbit" "-")
((triple11 ((triple12) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
True
5
proof
[(((((triple11 ((triple12) -> rule3)) -> rule2)) -> rule3))]
("bald eagle" "sees" "bald eagle" "+")
((((triple11 ((triple12) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle does not see the bald eagle.
False
5
inv-proof
[(((((triple11 ((triple12) -> rule3)) -> rule2)) -> rule3))]
("bald eagle" "sees" "bald eagle" "-")
((((triple11 ((triple12) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The bald eagle does not eat the squirrel.
Unknown
inv-rconc
[@1: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The rabbit sees the bald eagle.
Unknown
rconc
[@1: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "bald eagle" "+")
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "red" "-")
The cow sees the bald eagle.
Unknown
rconc
[@1: The cow sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "sees" "bald eagle" "+")
The bald eagle does not see the squirrel.
Unknown
inv-random
[@0: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "squirrel" "-")
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" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the cow.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow eats the squirrel.[(triple5)] The cow is nice.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is red.[(triple8)] The rabbit is rough.[(triple9)] The rabbit needs the cow.[(triple10)] The squirrel is nice.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The rabbit needs the bald eagle.[(((triple12) -> rule8) OR ((((triple11 ((triple12) -> rule3)) -> rule2)) -> rule8))] The squirrel is red.[(((triple11 triple12) -> rule4))] The squirrel sees the bald eagle.[(((triple12) -> rule3))] @2: The bald eagle sees the rabbit.[(((triple11 ((triple12) -> rule3)) -> rule2))] @3: The bald eagle sees the bald eagle.[(((((triple11 ((triple12) -> rule3)) -> rule2)) -> rule3))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple4
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple12
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
((triple12) -> (rule8 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
((((triple11 ((triple12) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
((triple11 triple12) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
((triple12) -> (rule3 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((triple11 ((triple12) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((triple11 ((triple12) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3