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