The bald eagle likes the squirrel. The bear likes the tiger. The squirrel chases the bald eagle. The tiger is kind. If something chases the bald eagle then it likes the squirrel. If something is rough then it chases the squirrel. If something is blue then it chases the bald eagle. If something likes the tiger then the tiger is red. If something visits the tiger and it is blue then it is red. If something visits the bear and it visits the tiger then it visits the squirrel.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If something chases the bald eagle then it likes the squirrel.
((("something" "chases" "bald eagle" "+")) -> ("something" "likes" "squirrel" "+"))
If something is rough then it chases the squirrel.
((("something" "is" "rough" "+")) -> ("something" "chases" "squirrel" "+"))
If something is blue then it chases the bald eagle.
((("something" "is" "blue" "+")) -> ("something" "chases" "bald eagle" "+"))
If something likes the tiger then the tiger is red.
((("something" "likes" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If something visits the tiger and it is blue then it is red.
((("something" "visits" "tiger" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something visits the bear and it visits the tiger then it visits the squirrel.
((("something" "visits" "bear" "+") ("something" "visits" "tiger" "+")) -> ("something" "visits" "squirrel" "+"))
The squirrel chases the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "chases" "bald eagle" "+")
triple3
The bald eagle does not like the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "squirrel" "-")
triple1
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The bear likes the tiger.[(triple2)] The squirrel chases the bald eagle.[(triple3)] The tiger is kind.[(triple4)] @1: The squirrel likes the squirrel.[(((triple3) -> rule1))] The tiger is red.[(((triple2) -> rule4))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple3
The tiger is kind.
("tiger" "is" "kind" "+")
triple4
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple3) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((triple2) -> (rule4 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1