The bald eagle chases the squirrel. The bald eagle likes the cow. The bald eagle needs the tiger. The cow is kind. The cow needs the bald eagle. The squirrel chases the cow. The squirrel is cold. The squirrel likes the bald eagle. The squirrel likes the tiger. The squirrel needs the bald eagle. The tiger chases the bald eagle. The tiger chases the cow. The tiger chases the squirrel. The tiger likes the cow. The tiger needs the bald eagle. The tiger needs the squirrel. If someone is cold then they chase the tiger. If someone chases the cow then the cow likes the bald eagle. If someone is rough and they like the bald eagle then the bald eagle likes the tiger.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone is cold then they chase the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "tiger" "+"))
If someone chases the cow then the cow likes the bald eagle.
((("someone" "chases" "cow" "+")) -> ("cow" "likes" "bald eagle" "+"))
If someone is rough and they like the bald eagle then the bald eagle likes the tiger.
((("someone" "is" "rough" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "tiger" "+"))
The bald eagle chases the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "chases" "squirrel" "+")
triple1
The squirrel does not chase the cow.
False
1
inv-proof
[(triple6)]
("squirrel" "chases" "cow" "-")
triple6
The squirrel chases the tiger.
True
2
proof
[(((triple7) -> rule1))]
("squirrel" "chases" "tiger" "+")
((triple7) -> (rule1 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The cow does not like the bald eagle.
False
2
inv-proof
[(((triple12) -> rule2) OR ((triple6) -> rule2))]
("cow" "likes" "bald eagle" "-")
((triple12) -> (rule2 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
((triple6) -> (rule2 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow does not chase the tiger.
Unknown
inv-rconc
[@1: The cow chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "tiger" "-")
The bald eagle likes the tiger.
Unknown
rconc
[@1: The bald eagle likes the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "tiger" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle needs the tiger.[(triple3)] The cow is kind.[(triple4)] The cow needs the bald eagle.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel is cold.[(triple7)] The squirrel likes the bald eagle.[(triple8)] The squirrel likes the tiger.[(triple9)] The squirrel needs the bald eagle.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger chases the cow.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger likes the cow.[(triple14)] The tiger needs the bald eagle.[(triple15)] The tiger needs the squirrel.[(triple16)] @1: The cow likes the bald eagle.[(((triple12) -> rule2) OR ((triple6) -> rule2))] The squirrel chases the tiger.[(((triple7) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple8
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple9
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple10
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple11
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple12
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple13
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple14
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple15
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple16
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((triple12) -> (rule2 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
((triple6) -> (rule2 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
((triple7) -> (rule1 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1