The bald eagle chases the squirrel. The bald eagle is kind. The bald eagle needs the squirrel. The bald eagle visits the bear. The bald eagle visits the lion. The bear is big. The bear is red. The bear visits the bald eagle. The lion chases the bear. The lion chases the squirrel. The lion needs the bear. The lion visits the squirrel. The squirrel is big. The squirrel is red. The squirrel needs the bear. The squirrel needs the lion. If someone visits the squirrel and the squirrel chases the bear then they are green. If someone is big then they chase the bear.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone visits the squirrel and the squirrel chases the bear then they are green.
((("someone" "visits" "squirrel" "+") ("squirrel" "chases" "bear" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they chase the bear.
((("someone" "is" "big" "+")) -> ("someone" "chases" "bear" "+"))
The bald eagle is kind.
True
1
proof
[(triple2)]
("bald eagle" "is" "kind" "+")
triple2
The squirrel is not big.
False
1
inv-proof
[(triple13)]
("squirrel" "is" "big" "-")
triple13
The bear chases the bear.
True
2
proof
[(((triple6) -> rule2))]
("bear" "chases" "bear" "+")
((triple6) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not chase the bear.
False
2
inv-proof
[(((triple6) -> rule2))]
("bear" "chases" "bear" "-")
((triple6) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The lion is green.
True
4
proof
[(((triple12 ((triple13) -> rule2)) -> rule1))]
("lion" "is" "green" "+")
((triple12 ((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The lion is not green.
False
4
inv-proof
[(((triple12 ((triple13) -> rule2)) -> rule1))]
("lion" "is" "green" "-")
((triple12 ((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "green" "-")
The bald eagle is green.
Unknown
rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "green" "+")
The bald eagle does not chase the bear.
Unknown
inv-rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "bear" "-")
The bear chases the lion.
Unknown
random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "+")
The squirrel does not chase the lion.
Unknown
inv-random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the lion.[(triple5)] The bear is big.[(triple6)] The bear is red.[(triple7)] The bear visits the bald eagle.[(triple8)] The lion chases the bear.[(triple9)] The lion chases the squirrel.[(triple10)] The lion needs the bear.[(triple11)] The lion visits the squirrel.[(triple12)] The squirrel is big.[(triple13)] The squirrel is red.[(triple14)] The squirrel needs the bear.[(triple15)] The squirrel needs the lion.[(triple16)] @1: The bear chases the bear.[(((triple6) -> rule2))] The squirrel chases the bear.[(((triple13) -> rule2))] @2: The lion is green.[(((triple12 ((triple13) -> rule2)) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The bear is big.
("bear" "is" "big" "+")
triple6
The bear is red.
("bear" "is" "red" "+")
triple7
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple10
The lion needs the bear.
("lion" "needs" "bear" "+")
triple11
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple15
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple16
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple6) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((triple13) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((triple12 ((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2