The bald eagle chases the cow. The bald eagle chases the lion. The bald eagle is nice. The bald eagle is round. The cow chases the bald eagle. The cow is blue. The cow is round. The cow likes the squirrel. The cow needs the squirrel. The lion chases the squirrel. The lion likes the bald eagle. The squirrel chases the bald eagle. The squirrel is round. The squirrel is young. The squirrel likes the bald eagle. The squirrel needs the bald eagle. If something chases the bald eagle and it needs the squirrel then it chases the lion. If something likes the bald eagle and the bald eagle chases the cow then the bald eagle chases the lion. If something likes the cow then the cow needs the bald eagle. If something is blue and it likes the bald eagle then it needs the lion. If something is young then it likes the bald eagle. If something is young and round then it likes the cow. If something needs the lion and the lion needs the cow then the lion likes the bald eagle. If something needs the lion and the lion likes the squirrel then the lion is blue.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If something chases the bald eagle and it needs the squirrel then it chases the lion.
((("something" "chases" "bald eagle" "+") ("something" "needs" "squirrel" "+")) -> ("something" "chases" "lion" "+"))
If something likes the bald eagle and the bald eagle chases the cow then the bald eagle chases the lion.
((("something" "likes" "bald eagle" "+") ("bald eagle" "chases" "cow" "+")) -> ("bald eagle" "chases" "lion" "+"))
If something likes the cow then the cow needs the bald eagle.
((("something" "likes" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
If something is blue and it likes the bald eagle then it needs the lion.
((("something" "is" "blue" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "needs" "lion" "+"))
If something is young then it likes the bald eagle.
((("something" "is" "young" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is young and round then it likes the cow.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "likes" "cow" "+"))
If something needs the lion and the lion needs the cow then the lion likes the bald eagle.
((("something" "needs" "lion" "+") ("lion" "needs" "cow" "+")) -> ("lion" "likes" "bald eagle" "+"))
If something needs the lion and the lion likes the squirrel then the lion is blue.
((("something" "needs" "lion" "+") ("lion" "likes" "squirrel" "+")) -> ("lion" "is" "blue" "+"))
The cow likes the squirrel.
True
1
proof
[(triple8)]
("cow" "likes" "squirrel" "+")
triple8
The bald eagle is not round.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "round" "-")
triple4
The cow chases the lion.
True
3
proof
[(((triple5 triple9) -> rule1))]
("cow" "chases" "lion" "+")
((triple5 triple9) -> (rule1 % int1))
The cow chases the lion.
("cow" "chases" "lion" "+")
int1
The squirrel does not like the cow.
False
3
inv-proof
[(((triple14 triple13) -> rule6))]
("squirrel" "likes" "cow" "-")
((triple14 triple13) -> (rule6 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The cow needs the bald eagle.
True
4
proof
[(((((triple14 triple13) -> rule6)) -> rule3))]
("cow" "needs" "bald eagle" "+")
((((triple14 triple13) -> (rule6 % int2))) -> (rule3 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The cow does not need the bald eagle.
False
4
inv-proof
[(((((triple14 triple13) -> rule6)) -> rule3))]
("cow" "needs" "bald eagle" "-")
((((triple14 triple13) -> (rule6 % int2))) -> (rule3 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "blue" "-")
The cow needs the lion.
Unknown
rconc
[@2: The cow needs the lion.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("cow" "needs" "lion" "+")
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "lion" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The lion chases the bald eagle.
Unknown
random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the lion.[(triple2 OR ((triple11 triple1) -> rule2) OR ((triple15 triple1) -> rule2) OR ((((triple14) -> rule5) triple1) -> rule2))] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow is blue.[(triple6)] The cow is round.[(triple7)] The cow likes the squirrel.[(triple8)] The cow needs the squirrel.[(triple9)] The lion chases the squirrel.[(triple10)] The lion likes the bald eagle.[(triple11)] The squirrel chases the bald eagle.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the bald eagle.[(triple15 OR ((triple14) -> rule5))] The squirrel needs the bald eagle.[(triple16)] @1: The cow chases the lion.[(((triple5 triple9) -> rule1))] The squirrel likes the cow.[(((triple14 triple13) -> rule6))] @2: The cow needs the bald eagle.[(((((triple14 triple13) -> rule6)) -> rule3))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple2
((triple11 triple1) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
((triple15 triple1) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
((((triple14) -> (rule5 % int2)) triple1) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow is round.
("cow" "is" "round" "+")
triple7
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple8
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple9
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple10
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple11
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple15
((triple14) -> (rule5 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple16
The cow chases the lion.
("cow" "chases" "lion" "+")
((triple5 triple9) -> (rule1 % int1))
The cow chases the lion.
("cow" "chases" "lion" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
((triple14 triple13) -> (rule6 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((((triple14 triple13) -> (rule6 % int2))) -> (rule3 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2