The bald eagle chases the tiger. The bald eagle is blue. The bald eagle likes the squirrel. The squirrel chases the bald eagle. The squirrel chases the tiger. The squirrel is young. 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 blue. The tiger is green. The tiger is nice. The tiger likes the squirrel. The tiger sees the squirrel. If something likes the tiger and it is green then the tiger sees the squirrel. If something is young then it is nice. If the bald eagle is nice and the bald eagle is blue then the bald eagle is green. If something likes the tiger then it sees the squirrel. If something sees the squirrel then the squirrel sees the bald eagle. If something is green then it likes the bald eagle. If something chases the squirrel then the squirrel chases the tiger. If something chases the bald eagle then the bald eagle likes the tiger.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
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 blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something likes the tiger and it is green then the tiger sees the squirrel.
((("something" "likes" "tiger" "+") ("something" "is" "green" "+")) -> ("tiger" "sees" "squirrel" "+"))
If something is young then it is nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If the bald eagle is nice and the bald eagle is blue then the bald eagle is green.
((("bald eagle" "is" "nice" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "is" "green" "+"))
If something likes the tiger then it sees the squirrel.
((("something" "likes" "tiger" "+")) -> ("something" "sees" "squirrel" "+"))
If something sees the squirrel then the squirrel sees the bald eagle.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If something is green then it likes the bald eagle.
((("something" "is" "green" "+")) -> ("something" "likes" "bald eagle" "+"))
If something chases the squirrel then the squirrel chases the tiger.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
If something chases the bald eagle then the bald eagle likes the tiger.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "tiger" "+"))
The tiger is green.
True
1
proof
[(triple12)]
("tiger" "is" "green" "+")
triple12
The tiger does not chase the bald eagle.
False
1
inv-proof
[(triple9)]
("tiger" "chases" "bald eagle" "-")
triple9
The tiger likes the bald eagle.
True
2
proof
[(((triple12) -> rule6))]
("tiger" "likes" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The squirrel is not nice.
False
2
inv-proof
[(((triple6) -> rule2))]
("squirrel" "is" "nice" "-")
((triple6) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The bald eagle sees the squirrel.
True
3
proof
[(((((triple4) -> rule8)) -> rule4) OR ((((triple9) -> rule8)) -> rule4))]
("bald eagle" "sees" "squirrel" "+")
((((triple4) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
((((triple9) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The bald eagle does not see the squirrel.
False
3
inv-proof
[(((((triple4) -> rule8)) -> rule4) OR ((((triple9) -> rule8)) -> rule4))]
("bald eagle" "sees" "squirrel" "-")
((((triple4) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
((((triple9) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The bald eagle is not green.
Unknown
inv-rconc
[@2: The bald eagle is green.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bald eagle" "is" "green" "-")
The squirrel likes the bald eagle.
Unknown
rconc
[@1: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "likes" "bald eagle" "+")
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The tiger sees the bald eagle.
Unknown
random
[@0: The tiger sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bald eagle" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The squirrel chases the bald eagle.[(triple4)] The squirrel chases the tiger.[(triple5 OR ((triple10) -> rule7))] The squirrel is young.[(triple6)] The squirrel sees the bald eagle.[(triple7 OR ((triple15) -> rule5) OR ((((((triple4) -> rule8)) -> rule4)) -> rule5) OR ((((((triple9) -> rule8)) -> rule4)) -> rule5))] The squirrel sees the tiger.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is nice.[(triple13)] The tiger likes the squirrel.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The bald eagle likes the tiger.[(((triple4) -> rule8) OR ((triple9) -> rule8))] The squirrel is nice.[(((triple6) -> rule2))] The tiger likes the bald eagle.[(((triple12) -> rule6))] @2: The bald eagle sees the squirrel.[(((((triple4) -> rule8)) -> rule4) OR ((((triple9) -> rule8)) -> rule4))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple5
((triple10) -> (rule7 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple6
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple7
((triple15) -> (rule5 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
((((((triple4) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int3
((((((triple9) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple14
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple15
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
((triple4) -> (rule8 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
((triple9) -> (rule8 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple6) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
((((triple4) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
((((triple9) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2