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