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