The bald eagle needs the cow. The bald eagle sees the squirrel. The cow is cold. The cow is nice. The cow likes the rabbit. The cow needs the squirrel. The cow sees the rabbit. The rabbit needs the bald eagle. The squirrel likes the rabbit. The squirrel sees the cow. If something is cold and it likes the rabbit then it sees the bald eagle. If something needs the bald eagle then it sees the rabbit.
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If something is cold and it likes the rabbit then it sees the bald eagle.
((("something" "is" "cold" "+") ("something" "likes" "rabbit" "+")) -> ("something" "sees" "bald eagle" "+"))
If something needs the bald eagle then it sees the rabbit.
((("something" "needs" "bald eagle" "+")) -> ("something" "sees" "rabbit" "+"))
The rabbit needs the bald eagle.
True
1
proof
[(triple8)]
("rabbit" "needs" "bald eagle" "+")
triple8
The cow is not cold.
False
1
inv-proof
[(triple3)]
("cow" "is" "cold" "-")
triple3
The cow sees the bald eagle.
True
3
proof
[(((triple3 triple5) -> rule1))]
("cow" "sees" "bald eagle" "+")
((triple3 triple5) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The rabbit does not see the rabbit.
False
2
inv-proof
[(((triple8) -> rule2))]
("rabbit" "sees" "rabbit" "-")
((triple8) -> (rule2 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit does not see the bald eagle.
Unknown
inv-rconc
[@1: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The squirrel sees the bald eagle.
Unknown
rconc
[@1: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "bald eagle" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The bald eagle needs the cow.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The cow is cold.[(triple3)] The cow is nice.[(triple4)] The cow likes the rabbit.[(triple5)] The cow needs the squirrel.[(triple6)] The cow sees the rabbit.[(triple7)] The rabbit needs the bald eagle.[(triple8)] The squirrel likes the rabbit.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The cow sees the bald eagle.[(((triple3 triple5) -> rule1))] The rabbit sees the rabbit.[(((triple8) -> rule2))]
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple5
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple6
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple7
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple8
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple9
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple10
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple3 triple5) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((triple8) -> (rule2 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1