The bald eagle eats the rabbit. The bald eagle visits the mouse. The cat chases the mouse. The cat is not blue. The cat visits the bald eagle. The cat visits the rabbit. The mouse does not chase the bald eagle. The mouse chases the cat. The mouse eats the bald eagle. The mouse does not eat the rabbit. The mouse is blue. The rabbit chases the bald eagle. The rabbit does not eat the bald eagle. The rabbit is blue. The rabbit is cold. The rabbit does not visit the bald eagle. If something chases the mouse and the mouse is green then the mouse visits the rabbit. If something eats the cat then the cat eats the mouse. If something chases the rabbit then the rabbit eats the mouse.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is not blue.
("cat" "is" "blue" "-")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
The mouse is blue.
("mouse" "is" "blue" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
If something chases the mouse and the mouse is green then the mouse visits the rabbit.
((("something" "chases" "mouse" "+") ("mouse" "is" "green" "+")) -> ("mouse" "visits" "rabbit" "+"))
If something eats the cat then the cat eats the mouse.
((("something" "eats" "cat" "+")) -> ("cat" "eats" "mouse" "+"))
If something chases the rabbit then the rabbit eats the mouse.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "eats" "mouse" "+"))
The rabbit does not visit the bald eagle.
True
1
proof
[(triple16)]
("rabbit" "visits" "bald eagle" "-")
triple16
The rabbit does not chase the bald eagle.
False
1
inv-proof
[(triple12)]
("rabbit" "chases" "bald eagle" "-")
triple12
The rabbit does not eat the mouse.
Unknown
inv-rconc
[@1: The rabbit eats the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "eats" "mouse" "-")
The rabbit chases the mouse.
Unknown
random
[@0: The rabbit chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "mouse" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle visits the mouse.[(triple2)] The cat chases the mouse.[(triple3)] The cat is not blue.[(triple4)] The cat visits the bald eagle.[(triple5)] The cat visits the rabbit.[(triple6)] The mouse chases the cat.[(triple8)] The mouse does not chase the bald eagle.[(triple7)] The mouse does not eat the rabbit.[(triple10)] The mouse eats the bald eagle.[(triple9)] The mouse is blue.[(triple11)] The rabbit chases the bald eagle.[(triple12)] The rabbit does not eat the bald eagle.[(triple13)] The rabbit does not visit the bald eagle.[(triple16)] The rabbit is blue.[(triple14)] The rabbit is cold.[(triple15)]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple3
The cat is not blue.
("cat" "is" "blue" "-")
triple4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple5
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple6
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple8
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
triple7
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
triple10
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple12
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
triple13
The rabbit does not visit the bald eagle.
("rabbit" "visits" "bald eagle" "-")
triple16
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple14
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple15