The bald eagle eats the mouse. The bald eagle is young. The bald eagle likes the mouse. The bald eagle likes the tiger. The bald eagle visits the tiger. The mouse is cold. The mouse likes the bald eagle. The mouse visits the squirrel. The squirrel is blue. The squirrel visits the tiger. The tiger is young. The tiger likes the squirrel. If someone is rough and they like the tiger then they visit the tiger. If someone eats the mouse then they like the mouse.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If someone is rough and they like the tiger then they visit the tiger.
((("someone" "is" "rough" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "visits" "tiger" "+"))
If someone eats the mouse then they like the mouse.
((("someone" "eats" "mouse" "+")) -> ("someone" "likes" "mouse" "+"))
The bald eagle visits the tiger.
True
1
proof
[(triple5)]
("bald eagle" "visits" "tiger" "+")
triple5
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "mouse" "-")
triple1
The mouse does not visit the tiger.
Unknown
inv-rconc
[@1: The mouse visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "tiger" "-")
The mouse eats the squirrel.
Unknown
random
[@0: The mouse eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "squirrel" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the mouse.[(triple3 OR ((triple1) -> rule2))] The bald eagle likes the tiger.[(triple4)] The bald eagle visits the tiger.[(triple5)] The mouse is cold.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel is blue.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger is young.[(triple11)] The tiger likes the squirrel.[(triple12)]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple3
((triple1) -> (rule2 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple10
The tiger is young.
("tiger" "is" "young" "+")
triple11
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple12