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