The bald eagle chases the squirrel. The bald eagle is not round. The bald eagle likes the bear. The bald eagle likes the squirrel. The bear does not chase the bald eagle. The bear is big. The bear is green. The bear likes the tiger. The bear sees the squirrel. The squirrel chases the bear. The squirrel is not green. The squirrel is rough. The tiger is round. The tiger likes the bear. The tiger does not see the bald eagle. If something chases the squirrel then it does not see the squirrel. If something likes the tiger then it does not chase the tiger. If the squirrel chases the bear and the bear is kind then the squirrel is big. If something is round then it chases the bear. If something chases the bear then it chases the squirrel. If something likes the squirrel then it sees the bear. Rough things are kind. If the bald eagle does not see the squirrel then the squirrel is kind.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
If something chases the squirrel then it does not see the squirrel.
((("something" "chases" "squirrel" "+")) -> ("something" "sees" "squirrel" "-"))
If something likes the tiger then it does not chase the tiger.
((("something" "likes" "tiger" "+")) -> ("something" "chases" "tiger" "-"))
If the squirrel chases the bear and the bear is kind then the squirrel is big.
((("squirrel" "chases" "bear" "+") ("bear" "is" "kind" "+")) -> ("squirrel" "is" "big" "+"))
If something is round then it chases the bear.
((("something" "is" "round" "+")) -> ("something" "chases" "bear" "+"))
If something chases the bear then it chases the squirrel.
((("something" "chases" "bear" "+")) -> ("something" "chases" "squirrel" "+"))
If something likes the squirrel then it sees the bear.
((("something" "likes" "squirrel" "+")) -> ("something" "sees" "bear" "+"))
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If the bald eagle does not see the squirrel then the squirrel is kind.
((("bald eagle" "sees" "squirrel" "~")) -> ("squirrel" "is" "kind" "+"))
The bear does not chase the bald eagle.
True
1
proof
[(triple5)]
("bear" "chases" "bald eagle" "-")
triple5
The bald eagle does not like the squirrel.
False
1
inv-proof
[(triple4)]
("bald eagle" "likes" "squirrel" "-")
triple4
The bald eagle sees the bear.
True
2
proof
[(((triple4) -> rule6))]
("bald eagle" "sees" "bear" "+")
((triple4) -> (rule6 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle does not see the bear.
False
2
inv-proof
[(((triple4) -> rule6))]
("bald eagle" "sees" "bear" "-")
((triple4) -> (rule6 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The squirrel does not see the squirrel.
True
3
proof
[(((((triple10) -> rule5)) -> rule1))]
("squirrel" "sees" "squirrel" "-")
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The tiger does not chase the squirrel.
False
3
inv-proof
[(((((triple13) -> rule4)) -> rule5))]
("tiger" "chases" "squirrel" "-")
((((triple13) -> (rule4 % int2))) -> (rule5 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The tiger does not see the squirrel.
True
4
proof
[(((((((triple13) -> rule4)) -> rule5)) -> rule1))]
("tiger" "sees" "squirrel" "-")
((((((triple13) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3
The tiger sees the squirrel.
False
4
inv-proof
[(((((((triple13) -> rule4)) -> rule5)) -> rule1))]
("tiger" "sees" "squirrel" "+")
((((((triple13) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3
The bear does not chase the squirrel.
Unknown
inv-rconc
[@2: The bear chases the squirrel.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("bear" "chases" "squirrel" "-")
The bear sees the bear.
Unknown
rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "sees" "bear" "+")
The tiger is not kind.
Unknown
inv-rconc
[@1: The tiger is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "is" "kind" "-")
The bald eagle chases the bear.
Unknown
rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "chases" "bear" "+")
The bear does not see the tiger.
Unknown
inv-random
[@0: The bear sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "tiger" "-")
The bald eagle chases the tiger.
Unknown
random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is not round.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bear does not chase the bald eagle.[(triple5)] The bear is big.[(triple6)] The bear is green.[(triple7)] The bear likes the tiger.[(triple8)] The bear sees the squirrel.[(triple9)] The squirrel chases the bear.[(triple10)] The squirrel is not green.[(triple11)] The squirrel is rough.[(triple12)] The tiger does not see the bald eagle.[(triple15)] The tiger is round.[(triple13)] The tiger likes the bear.[(triple14)] @1: The bald eagle does not see the squirrel.[(((triple1) -> rule1))] The bald eagle sees the bear.[(((triple4) -> rule6))] The bear does not chase the tiger.[(((triple8) -> rule2))] The squirrel chases the squirrel.[(((triple10) -> rule5))] The squirrel is kind.[(((triple12) -> rule7) OR ((((triple1) -> rule1)) -> rule8))] The tiger chases the bear.[(((triple13) -> rule4))] @2: The squirrel does not see the squirrel.[(((((triple10) -> rule5)) -> rule1))] The tiger chases the squirrel.[(((((triple13) -> rule4)) -> rule5))] @3: The tiger does not see the squirrel.[(((((((triple13) -> rule4)) -> rule5)) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
triple5
The bear is big.
("bear" "is" "big" "+")
triple6
The bear is green.
("bear" "is" "green" "+")
triple7
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple8
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple9
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple10
The squirrel is not green.
("squirrel" "is" "green" "-")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
triple15
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple14
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
((triple1) -> (rule1 % int1))
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple4) -> (rule6 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
((triple8) -> (rule2 % int1))
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple12) -> (rule7 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
((triple13) -> (rule4 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel does not see the squirrel.
("squirrel" "sees" "squirrel" "-")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((((triple13) -> (rule4 % int2))) -> (rule5 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
((((((triple13) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3