The bald eagle needs the rabbit. The bald eagle visits the mouse. The cow chases the mouse. The cow chases the rabbit. The cow is green. The cow needs the mouse. The cow needs the rabbit. The cow visits the mouse. The cow visits the rabbit. The mouse chases the rabbit. The mouse is nice. The mouse needs the cow. The mouse needs the rabbit. The rabbit is nice. The rabbit visits the bald eagle. If the mouse is nice and the mouse is big then the mouse visits the rabbit. If something visits the cow and the cow is kind then the cow chases the mouse. If something visits the bald eagle then it chases the rabbit. If something is green and it needs the mouse then it visits the mouse. If something is green and it visits the bald eagle then it is round. If something is big then it chases the mouse.
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is green.
("cow" "is" "green" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If the mouse is nice and the mouse is big then the mouse visits the rabbit.
((("mouse" "is" "nice" "+") ("mouse" "is" "big" "+")) -> ("mouse" "visits" "rabbit" "+"))
If something visits the cow and the cow is kind then the cow chases the mouse.
((("something" "visits" "cow" "+") ("cow" "is" "kind" "+")) -> ("cow" "chases" "mouse" "+"))
If something visits the bald eagle then it chases the rabbit.
((("something" "visits" "bald eagle" "+")) -> ("something" "chases" "rabbit" "+"))
If something is green and it needs the mouse then it visits the mouse.
((("something" "is" "green" "+") ("something" "needs" "mouse" "+")) -> ("something" "visits" "mouse" "+"))
If something is green and it visits the bald eagle then it is round.
((("something" "is" "green" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "is" "round" "+"))
If something is big then it chases the mouse.
((("something" "is" "big" "+")) -> ("something" "chases" "mouse" "+"))
The cow needs the mouse.
True
1
proof
[(triple6)]
("cow" "needs" "mouse" "+")
triple6
The mouse does not need the cow.
False
1
inv-proof
[(triple12)]
("mouse" "needs" "cow" "-")
triple12
The mouse does not visit the rabbit.
Unknown
inv-rconc
[@1: The mouse visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "rabbit" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bald eagle needs the rabbit.[(triple1)] The bald eagle visits the mouse.[(triple2)] The cow chases the mouse.[(triple3)] The cow chases the rabbit.[(triple4)] The cow is green.[(triple5)] The cow needs the mouse.[(triple6)] The cow needs the rabbit.[(triple7)] The cow visits the mouse.[(triple8 OR ((triple5 triple6) -> rule4))] The cow visits the rabbit.[(triple9)] The mouse chases the rabbit.[(triple10)] The mouse is nice.[(triple11)] The mouse needs the cow.[(triple12)] The mouse needs the rabbit.[(triple13)] The rabbit is nice.[(triple14)] The rabbit visits the bald eagle.[(triple15)] @1: The rabbit chases the rabbit.[(((triple15) -> rule3))]
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple2
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple3
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple6
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple7
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple8
((triple5 triple6) -> (rule4 % int1))
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple9
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple12
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple13
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple14
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple15
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple15) -> (rule3 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1