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