The bald eagle is big. The bald eagle is young. The bear chases the squirrel. The bear eats the bald eagle. The bear is big. The bear is rough. The squirrel eats the bald eagle. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel needs the bald eagle. The squirrel needs the bear. If someone is rough then they chase the bear. If someone needs the bald eagle then the bald eagle eats the squirrel. If someone eats the bald eagle then the bald eagle needs the squirrel. If the bald eagle eats the bear then the bear needs the squirrel. If someone eats the squirrel then they are rough. If someone is big then they chase the squirrel.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is rough.
("bear" "is" "rough" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone is rough then they chase the bear.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "bear" "+"))
If someone needs the bald eagle then the bald eagle eats the squirrel.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If someone eats the bald eagle then the bald eagle needs the squirrel.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
If the bald eagle eats the bear then the bear needs the squirrel.
((("bald eagle" "eats" "bear" "+")) -> ("bear" "needs" "squirrel" "+"))
If someone eats the squirrel then they are rough.
((("someone" "eats" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If someone is big then they chase the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "chases" "squirrel" "+"))
The squirrel needs the bald eagle.
True
1
proof
[(triple11)]
("squirrel" "needs" "bald eagle" "+")
triple11
The squirrel is not big.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "big" "-")
triple8
The bald eagle needs the squirrel.
True
2
proof
[(((triple4) -> rule3) OR ((triple7) -> rule3))]
("bald eagle" "needs" "squirrel" "+")
((triple4) -> (rule3 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
((triple7) -> (rule3 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple8) -> rule6))]
("squirrel" "chases" "squirrel" "-")
((triple8) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The bald eagle is rough.
True
3
proof
[(((((triple11) -> rule2)) -> rule5))]
("bald eagle" "is" "rough" "+")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The bald eagle is not rough.
False
3
inv-proof
[(((((triple11) -> rule2)) -> rule5))]
("bald eagle" "is" "rough" "-")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The bald eagle chases the bear.
True
4
proof
[(((((((triple11) -> rule2)) -> rule5)) -> rule1))]
("bald eagle" "chases" "bear" "+")
((((((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The bald eagle does not chase the bear.
False
4
inv-proof
[(((((((triple11) -> rule2)) -> rule5)) -> rule1))]
("bald eagle" "chases" "bear" "-")
((((((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel chases the bear.
Unknown
rconc
[@2: The squirrel chases the bear.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("squirrel" "chases" "bear" "+")
The bear does not need the squirrel.
Unknown
inv-rconc
[@1: The bear needs the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "needs" "squirrel" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The bear does not need the bald eagle.
Unknown
inv-random
[@0: The bear needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bald eagle" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The bald eagle needs the bear.
Unknown
random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is young.[(triple2)] The bear chases the squirrel.[(triple3 OR ((triple5) -> rule6))] The bear eats the bald eagle.[(triple4)] The bear is big.[(triple5)] The bear is rough.[(triple6)] The squirrel eats the bald eagle.[(triple7)] The squirrel is big.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple10)] The squirrel needs the bald eagle.[(triple11)] The squirrel needs the bear.[(triple12)] @1: The bald eagle chases the squirrel.[(((triple1) -> rule6))] The bald eagle eats the squirrel.[(((triple11) -> rule2))] The bald eagle needs the squirrel.[(((triple4) -> rule3) OR ((triple7) -> rule3))] The bear chases the bear.[(((triple6) -> rule1))] The squirrel chases the squirrel.[(((triple8) -> rule6))] @2: The bald eagle is rough.[(((((triple11) -> rule2)) -> rule5))] @3: The bald eagle chases the bear.[(((((((triple11) -> rule2)) -> rule5)) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple3
((triple5) -> (rule6 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear is rough.
("bear" "is" "rough" "+")
triple6
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple11
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple12
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((triple1) -> (rule6 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
((triple11) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((triple4) -> (rule3 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
((triple7) -> (rule3 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple6) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple8) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((((((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int3