The bald eagle is blue. The bald eagle likes the cow. The bald eagle likes the tiger. The bald eagle sees the squirrel. The bald eagle visits the cow. The cow is blue. The cow likes the squirrel. The cow sees the bald eagle. The cow visits the squirrel. The squirrel likes the tiger. The squirrel sees the cow. The squirrel sees the tiger. The tiger is blue. The tiger is kind. The tiger is round. The tiger visits the squirrel. If something sees the tiger then it visits the cow. If the cow sees the bald eagle then the cow likes the bald eagle. If something visits the squirrel then it likes the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something sees the tiger then it visits the cow.
((("something" "sees" "tiger" "+")) -> ("something" "visits" "cow" "+"))
If the cow sees the bald eagle then the cow likes the bald eagle.
((("cow" "sees" "bald eagle" "+")) -> ("cow" "likes" "bald eagle" "+"))
If something visits the squirrel then it likes the cow.
((("something" "visits" "squirrel" "+")) -> ("something" "likes" "cow" "+"))
The squirrel likes the tiger.
True
1
proof
[(triple10)]
("squirrel" "likes" "tiger" "+")
triple10
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The squirrel visits the cow.
True
2
proof
[(((triple12) -> rule1))]
("squirrel" "visits" "cow" "+")
((triple12) -> (rule1 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel does not visit the cow.
False
2
inv-proof
[(((triple12) -> rule1))]
("squirrel" "visits" "cow" "-")
((triple12) -> (rule1 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "cow" "-")
The squirrel likes the cow.
Unknown
rconc
[@1: The squirrel likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "cow" "+")
The squirrel does not visit the tiger.
Unknown
inv-random
[@0: The squirrel visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "tiger" "-")
The bald eagle visits the squirrel.
Unknown
random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The bald eagle visits the cow.[(triple5)] The cow is blue.[(triple6)] The cow likes the squirrel.[(triple7)] The cow sees the bald eagle.[(triple8)] The cow visits the squirrel.[(triple9)] The squirrel likes the tiger.[(triple10)] The squirrel sees the cow.[(triple11)] The squirrel sees the tiger.[(triple12)] The tiger is blue.[(triple13)] The tiger is kind.[(triple14)] The tiger is round.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The cow likes the bald eagle.[(((triple8) -> rule2))] The cow likes the cow.[(((triple9) -> rule3))] The squirrel visits the cow.[(((triple12) -> rule1))] The tiger likes the cow.[(((triple16) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple5
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple7
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple8
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple9
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple10
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple11
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple12
The tiger is blue.
("tiger" "is" "blue" "+")
triple13
The tiger is kind.
("tiger" "is" "kind" "+")
triple14
The tiger is round.
("tiger" "is" "round" "+")
triple15
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((triple8) -> (rule2 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple9) -> (rule3 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((triple12) -> (rule1 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The tiger likes the cow.
("tiger" "likes" "cow" "+")
((triple16) -> (rule3 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1