The bald eagle chases the cow. The bald eagle chases the rabbit. The bald eagle is round. The cow chases the rabbit. The cow is nice. The cow is rough. The cow likes the rabbit. The mouse is red. The mouse likes the cow. The mouse sees the cow. The rabbit chases the bald eagle. The rabbit chases the cow. The rabbit is round. The rabbit likes the bald eagle. The rabbit likes the mouse. If the mouse is rough and the mouse likes the cow then the cow sees the rabbit. If something likes the rabbit and the rabbit is red then it sees the cow. If something is rough and red then it chases the cow. If something likes the mouse then it is cold. If the mouse likes the bald eagle then the mouse chases the rabbit. If something chases the mouse then the mouse is nice.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If the mouse is rough and the mouse likes the cow then the cow sees the rabbit.
((("mouse" "is" "rough" "+") ("mouse" "likes" "cow" "+")) -> ("cow" "sees" "rabbit" "+"))
If something likes the rabbit and the rabbit is red then it sees the cow.
((("something" "likes" "rabbit" "+") ("rabbit" "is" "red" "+")) -> ("something" "sees" "cow" "+"))
If something is rough and red then it chases the cow.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "chases" "cow" "+"))
If something likes the mouse then it is cold.
((("something" "likes" "mouse" "+")) -> ("something" "is" "cold" "+"))
If the mouse likes the bald eagle then the mouse chases the rabbit.
((("mouse" "likes" "bald eagle" "+")) -> ("mouse" "chases" "rabbit" "+"))
If something chases the mouse then the mouse is nice.
((("something" "chases" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
The bald eagle is round.
True
1
proof
[(triple3)]
("bald eagle" "is" "round" "+")
triple3
The bald eagle does not chase the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cow" "-")
triple1
The rabbit is cold.
True
2
proof
[(((triple15) -> rule4))]
("rabbit" "is" "cold" "+")
((triple15) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is not cold.
False
2
inv-proof
[(((triple15) -> rule4))]
("rabbit" "is" "cold" "-")
((triple15) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The mouse does not chase the cow.
Unknown
inv-rconc
[@1: The mouse chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "cow" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "cow" "+")
The bald eagle does not see the rabbit.
Unknown
inv-random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "-")
The rabbit likes the cow.
Unknown
random
[@0: The rabbit likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cow" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is round.[(triple3)] The cow chases the rabbit.[(triple4)] The cow is nice.[(triple5)] The cow is rough.[(triple6)] The cow likes the rabbit.[(triple7)] The mouse is red.[(triple8)] The mouse likes the cow.[(triple9)] The mouse sees the cow.[(triple10)] The rabbit chases the bald eagle.[(triple11)] The rabbit chases the cow.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit likes the mouse.[(triple15)] @1: The rabbit is cold.[(((triple15) -> rule4))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple9
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple10
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple11
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple14
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple15
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple15) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1