The bald eagle eats the mouse. The bald eagle is cold. The bald eagle is rough. The bald eagle visits the rabbit. The bald eagle does not visit the tiger. The mouse eats the tiger. The mouse is kind. The mouse needs the tiger. The mouse visits the rabbit. The rabbit eats the bald eagle. The rabbit eats the tiger. The rabbit visits the tiger. The tiger is not kind. The tiger is rough. The tiger visits the mouse. If someone visits the bald eagle then the bald eagle visits the mouse. If the mouse is red then the mouse is kind. If someone visits the mouse and they need the mouse then the mouse is not red. If someone visits the mouse and they visit the tiger then they are cold. If the mouse visits the rabbit and the rabbit is cold then the mouse needs the bald eagle. If someone is green and not red then they visit the rabbit. If someone eats the mouse and they need the bald eagle then the mouse eats the rabbit. If someone visits the mouse and the mouse eats the rabbit then the mouse is rough.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If someone visits the bald eagle then the bald eagle visits the mouse.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If the mouse is red then the mouse is kind.
((("mouse" "is" "red" "+")) -> ("mouse" "is" "kind" "+"))
If someone visits the mouse and they need the mouse then the mouse is not red.
((("someone" "visits" "mouse" "+") ("someone" "needs" "mouse" "+")) -> ("mouse" "is" "red" "-"))
If someone visits the mouse and they visit the tiger then they are cold.
((("someone" "visits" "mouse" "+") ("someone" "visits" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If the mouse visits the rabbit and the rabbit is cold then the mouse needs the bald eagle.
((("mouse" "visits" "rabbit" "+") ("rabbit" "is" "cold" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If someone is green and not red then they visit the rabbit.
((("someone" "is" "green" "+") ("someone" "is" "red" "~")) -> ("someone" "visits" "rabbit" "+"))
If someone eats the mouse and they need the bald eagle then the mouse eats the rabbit.
((("someone" "eats" "mouse" "+") ("someone" "needs" "bald eagle" "+")) -> ("mouse" "eats" "rabbit" "+"))
If someone visits the mouse and the mouse eats the rabbit then the mouse is rough.
((("someone" "visits" "mouse" "+") ("mouse" "eats" "rabbit" "+")) -> ("mouse" "is" "rough" "+"))
The bald eagle does not visit the tiger.
True
1
proof
[(triple5)]
("bald eagle" "visits" "tiger" "-")
triple5
The rabbit does not eat the bald eagle.
False
1
inv-proof
[(triple10)]
("rabbit" "eats" "bald eagle" "-")
triple10
The tiger does not visit the rabbit.
Unknown
inv-rconc
[@1: The tiger visits the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "visits" "rabbit" "-")
The bald eagle eats the rabbit.
Unknown
random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "+")
@0: The bald eagle does not visit the tiger.[(triple5)] The bald eagle eats the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The mouse eats the tiger.[(triple6)] The mouse is kind.[(triple7)] The mouse needs the tiger.[(triple8)] The mouse visits the rabbit.[(triple9)] The rabbit eats the bald eagle.[(triple10)] The rabbit eats the tiger.[(triple11)] The rabbit visits the tiger.[(triple12)] The tiger is not kind.[(triple13)] The tiger is rough.[(triple14)] The tiger visits the mouse.[(triple15)]
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
triple5
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple8
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple9
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple10
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple11
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple12
The tiger is not kind.
("tiger" "is" "kind" "-")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple15