The bald eagle is kind. The bald eagle likes the mouse. The bald eagle likes the tiger. The bald eagle needs the mouse. The bald eagle visits the tiger. The mouse is big. The mouse is kind. The mouse is red. The mouse visits the bald eagle. The mouse visits the tiger. The tiger likes the bald eagle. The tiger likes the mouse. If something is blue and it likes the mouse then the mouse visits the bald eagle. If something is round then it visits the tiger.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If something is blue and it likes the mouse then the mouse visits the bald eagle.
((("something" "is" "blue" "+") ("something" "likes" "mouse" "+")) -> ("mouse" "visits" "bald eagle" "+"))
If something is round then it visits the tiger.
((("something" "is" "round" "+")) -> ("something" "visits" "tiger" "+"))
The mouse is kind.
True
1
proof
[(triple7)]
("mouse" "is" "kind" "+")
triple7
The mouse does not visit the bald eagle.
False
1
inv-proof
[(triple9)]
("mouse" "visits" "bald eagle" "-")
triple9
The tiger does not visit the tiger.
Unknown
inv-rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle visits the tiger.[(triple5)] The mouse is big.[(triple6)] The mouse is kind.[(triple7)] The mouse is red.[(triple8)] The mouse visits the bald eagle.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger likes the mouse.[(triple12)]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple9
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple10
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple11
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple12