The bald eagle eats the lion. The bald eagle eats the squirrel. The bald eagle is young. The bald eagle sees the lion. The cow eats the squirrel. The cow sees the squirrel. The lion eats the bald eagle. The lion is cold. The lion is nice. The squirrel is cold. The squirrel is young. The squirrel likes the bald eagle. If the cow sees the squirrel and the cow eats the squirrel then the cow eats the lion. If someone likes the bald eagle then they see the lion. If someone is nice and young then they eat the lion. If someone is green and red then they eat the bald eagle. If someone eats the cow and they see the squirrel then the squirrel is young. If someone sees the squirrel then they see the bald eagle. If someone is red and they see the lion then they eat the cow. If someone eats the lion and the lion is cold then they like the bald eagle.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If the cow sees the squirrel and the cow eats the squirrel then the cow eats the lion.
((("cow" "sees" "squirrel" "+") ("cow" "eats" "squirrel" "+")) -> ("cow" "eats" "lion" "+"))
If someone likes the bald eagle then they see the lion.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "sees" "lion" "+"))
If someone is nice and young then they eat the lion.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "eats" "lion" "+"))
If someone is green and red then they eat the bald eagle.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the cow and they see the squirrel then the squirrel is young.
((("someone" "eats" "cow" "+") ("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If someone sees the squirrel then they see the bald eagle.
((("someone" "sees" "squirrel" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is red and they see the lion then they eat the cow.
((("someone" "is" "red" "+") ("someone" "sees" "lion" "+")) -> ("someone" "eats" "cow" "+"))
If someone eats the lion and the lion is cold then they like the bald eagle.
((("someone" "eats" "lion" "+") ("lion" "is" "cold" "+")) -> ("someone" "likes" "bald eagle" "+"))
The bald eagle eats the squirrel.
True
1
proof
[(triple2)]
("bald eagle" "eats" "squirrel" "+")
triple2
The squirrel does not like the bald eagle.
False
1
inv-proof
[(triple12)]
("squirrel" "likes" "bald eagle" "-")
triple12
The cow eats the lion.
True
3
proof
[(((triple6 triple5) -> rule1))]
("cow" "eats" "lion" "+")
((triple6 triple5) -> (rule1 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The squirrel does not see the lion.
False
2
inv-proof
[(((triple12) -> rule2))]
("squirrel" "sees" "lion" "-")
((triple12) -> (rule2 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The cow likes the bald eagle.
True
5
proof
[(((((triple6 triple5) -> rule1) triple8) -> rule8))]
("cow" "likes" "bald eagle" "+")
((((triple6 triple5) -> (rule1 % int2)) triple8) -> (rule8 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow does not like the bald eagle.
False
5
inv-proof
[(((((triple6 triple5) -> rule1) triple8) -> rule8))]
("cow" "likes" "bald eagle" "-")
((((triple6 triple5) -> (rule1 % int2)) triple8) -> (rule8 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow sees the lion.
True
6
proof
[(((((((triple6 triple5) -> rule1) triple8) -> rule8)) -> rule2))]
("cow" "sees" "lion" "+")
((((((triple6 triple5) -> (rule1 % int3)) triple8) -> (rule8 % int2))) -> (rule2 % int1))
The cow sees the lion.
("cow" "sees" "lion" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow does not see the lion.
False
6
inv-proof
[(((((((triple6 triple5) -> rule1) triple8) -> rule8)) -> rule2))]
("cow" "sees" "lion" "-")
((((((triple6 triple5) -> (rule1 % int3)) triple8) -> (rule8 % int2))) -> (rule2 % int1))
The cow sees the lion.
("cow" "sees" "lion" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The squirrel does not see the bald eagle.
Unknown
inv-rconc
[@1: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "sees" "bald eagle" "-")
The lion likes the bald eagle.
Unknown
rconc
[@2: The lion likes the bald eagle.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("lion" "likes" "bald eagle" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The cow eats the bald eagle.
Unknown
rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The lion likes the squirrel.
Unknown
random
[@0: The lion likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "squirrel" "+")
The lion does not eat the squirrel.
Unknown
inv-random
[@0: The lion eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "squirrel" "-")
The bald eagle likes the cow.
Unknown
random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the lion.[(triple4 OR ((((triple1 triple8) -> rule8)) -> rule2))] The cow eats the squirrel.[(triple5)] The cow sees the squirrel.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion is cold.[(triple8)] The lion is nice.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is young.[(triple11)] The squirrel likes the bald eagle.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple1 triple8) -> rule8))] The cow eats the lion.[(((triple6 triple5) -> rule1))] The cow sees the bald eagle.[(((triple6) -> rule6))] The squirrel sees the lion.[(((triple12) -> rule2))] @2: The cow likes the bald eagle.[(((((triple6 triple5) -> rule1) triple8) -> rule8))] @3: The cow sees the lion.[(((((((triple6 triple5) -> rule1) triple8) -> rule8)) -> rule2))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple4
((((triple1 triple8) -> (rule8 % int2))) -> (rule2 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple5
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple6
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple8
The lion is nice.
("lion" "is" "nice" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is young.
("squirrel" "is" "young" "+")
triple11
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple12
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple1 triple8) -> (rule8 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
((triple6 triple5) -> (rule1 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple6) -> (rule6 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
((triple12) -> (rule2 % int1))
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((((triple6 triple5) -> (rule1 % int2)) triple8) -> (rule8 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow sees the lion.
("cow" "sees" "lion" "+")
((((((triple6 triple5) -> (rule1 % int3)) triple8) -> (rule8 % int2))) -> (rule2 % int1))
The cow sees the lion.
("cow" "sees" "lion" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3