The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle likes the squirrel. The bald eagle likes the tiger. The squirrel chases the tiger. The squirrel is blue. The squirrel is nice. The squirrel sees the bald eagle. The squirrel sees the tiger. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger is big. The tiger is blue. The tiger is round. The tiger likes the bald eagle. The tiger sees the squirrel. If someone likes the tiger and the tiger chases the squirrel then they see the tiger. If someone is green then they are big.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone likes the tiger and the tiger chases the squirrel then they see the tiger.
((("someone" "likes" "tiger" "+") ("tiger" "chases" "squirrel" "+")) -> ("someone" "sees" "tiger" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
The squirrel sees the tiger.
True
1
proof
[(triple9)]
("squirrel" "sees" "tiger" "+")
triple9
The bald eagle does not like the squirrel.
False
1
inv-proof
[(triple3)]
("bald eagle" "likes" "squirrel" "-")
triple3
The bald eagle sees the tiger.
True
3
proof
[(((triple4 triple11) -> rule1))]
("bald eagle" "sees" "tiger" "+")
((triple4 triple11) -> (rule1 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The bald eagle does not see the tiger.
False
3
inv-proof
[(((triple4 triple11) -> rule1))]
("bald eagle" "sees" "tiger" "-")
((triple4 triple11) -> (rule1 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "big" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle likes the tiger.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is nice.[(triple7)] The squirrel sees the bald eagle.[(triple8)] The squirrel sees the tiger.[(triple9)] The tiger chases the bald eagle.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger is big.[(triple12)] The tiger is blue.[(triple13)] The tiger is round.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The bald eagle sees the tiger.[(((triple4 triple11) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple8
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple9
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple10
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple11
The tiger is big.
("tiger" "is" "big" "+")
triple12
The tiger is blue.
("tiger" "is" "blue" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple16
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
((triple4 triple11) -> (rule1 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1