The bald eagle needs the bear. The bald eagle sees the squirrel. The bear is big. The bear sees the squirrel. The squirrel chases the tiger. The squirrel sees the bear. The squirrel sees the tiger. The tiger chases the bald eagle. The tiger chases the bear. The tiger is rough. If something chases the squirrel and the squirrel sees the bear then it is nice. If something is cold then it needs the tiger. If something chases the squirrel and the squirrel needs the tiger then the tiger needs the bear. If something sees the bear then it chases the bear. If something is nice then it is rough. If something sees the bear then it chases the bear. All rough things are cold. If something sees the squirrel then the squirrel needs the tiger. If something sees the squirrel then it chases the squirrel.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If something chases the squirrel and the squirrel sees the bear then it is nice.
((("something" "chases" "squirrel" "+") ("squirrel" "sees" "bear" "+")) -> ("something" "is" "nice" "+"))
If something is cold then it needs the tiger.
((("something" "is" "cold" "+")) -> ("something" "needs" "tiger" "+"))
If something chases the squirrel and the squirrel needs the tiger then the tiger needs the bear.
((("something" "chases" "squirrel" "+") ("squirrel" "needs" "tiger" "+")) -> ("tiger" "needs" "bear" "+"))
If something sees the bear then it chases the bear.
((("something" "sees" "bear" "+")) -> ("something" "chases" "bear" "+"))
If something is nice then it is rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something sees the bear then it chases the bear.
((("something" "sees" "bear" "+")) -> ("something" "chases" "bear" "+"))
All rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something sees the squirrel then the squirrel needs the tiger.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "needs" "tiger" "+"))
If something sees the squirrel then it chases the squirrel.
((("something" "sees" "squirrel" "+")) -> ("something" "chases" "squirrel" "+"))
The tiger is rough.
True
1
proof
[(triple10)]
("tiger" "is" "rough" "+")
triple10
The bear does not see the squirrel.
False
1
inv-proof
[(triple4)]
("bear" "sees" "squirrel" "-")
triple4
The squirrel chases the bear.
True
2
proof
[(((triple6) -> rule4) OR ((triple6) -> rule6))]
("squirrel" "chases" "bear" "+")
((triple6) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
((triple6) -> (rule6 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The tiger is not cold.
False
2
inv-proof
[(((triple10) -> rule7))]
("tiger" "is" "cold" "-")
((triple10) -> (rule7 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The bear is nice.
True
4
proof
[(((((triple4) -> rule9) triple6) -> rule1))]
("bear" "is" "nice" "+")
((((triple4) -> (rule9 % int2)) triple6) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear is not nice.
False
4
inv-proof
[(((((triple4) -> rule9) triple6) -> rule1))]
("bear" "is" "nice" "-")
((((triple4) -> (rule9 % int2)) triple6) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bald eagle is rough.
True
5
proof
[(((((((triple2) -> rule9) triple6) -> rule1)) -> rule5))]
("bald eagle" "is" "rough" "+")
((((((triple2) -> (rule9 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The bear is not rough.
False
5
inv-proof
[(((((((triple4) -> rule9) triple6) -> rule1)) -> rule5))]
("bear" "is" "rough" "-")
((((((triple4) -> (rule9 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bear is cold.
True
6
proof
[(((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5)) -> rule7))]
("bear" "is" "cold" "+")
((((((((triple4) -> (rule9 % int4)) triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int4
The bear is not cold.
False
6
inv-proof
[(((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5)) -> rule7))]
("bear" "is" "cold" "-")
((((((((triple4) -> (rule9 % int4)) triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int4
The bald eagle needs the tiger.
True
7
proof
[(((((((((((triple2) -> rule9) triple6) -> rule1)) -> rule5)) -> rule7)) -> rule2))]
("bald eagle" "needs" "tiger" "+")
((((((((((triple2) -> (rule9 % int5)) triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int5
The bear does not need the tiger.
False
7
inv-proof
[(((((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5)) -> rule7)) -> rule2))]
("bear" "needs" "tiger" "-")
((((((((((triple4) -> (rule9 % int5)) triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bear is nice.
("bear" "is" "nice" "+")
int4
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int5
The squirrel is not nice.
Unknown
inv-rconc
[@2: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- rule9 <- FAIL)]]
("squirrel" "is" "nice" "-")
The squirrel is cold.
Unknown
rconc
[@4: The squirrel is cold.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule1 <- rule9 <- FAIL)]]
("squirrel" "is" "cold" "+")
The bald eagle does not chase the bear.
Unknown
inv-rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "chases" "bear" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "bear" "+")
The tiger is not nice.
Unknown
inv-rconc
[@2: The tiger is nice.[CWA. Example of deepest failure = (rule1 <- rule9 <- FAIL)]]
("tiger" "is" "nice" "-")
The squirrel is rough.
Unknown
rconc
[@3: The squirrel is rough.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule9 <- FAIL)]]
("squirrel" "is" "rough" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The tiger sees the bear.
Unknown
random
[@0: The tiger sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bear" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The tiger needs the bald eagle.
Unknown
random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bald eagle" "+")
@0: The bald eagle needs the bear.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The bear is big.[(triple3)] The bear sees the squirrel.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel sees the bear.[(triple6)] The squirrel sees the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the bear.[(triple9)] The tiger is rough.[(triple10)] @1: The bald eagle chases the squirrel.[(((triple2) -> rule9))] The bear chases the squirrel.[(((triple4) -> rule9))] The squirrel chases the bear.[(((triple6) -> rule4) OR ((triple6) -> rule6))] The squirrel needs the tiger.[(((triple2) -> rule8) OR ((triple4) -> rule8))] The tiger is cold.[(((triple10) -> rule7))] @2: The bald eagle is nice.[(((((triple2) -> rule9) triple6) -> rule1))] The bear is nice.[(((((triple4) -> rule9) triple6) -> rule1))] The tiger needs the bear.[(((((triple2) -> rule9) ((triple2) -> rule8)) -> rule3) OR ((((triple2) -> rule9) ((triple4) -> rule8)) -> rule3) OR ((((triple4) -> rule9) ((triple2) -> rule8)) -> rule3) OR ((((triple4) -> rule9) ((triple4) -> rule8)) -> rule3))] The tiger needs the tiger.[(((((triple10) -> rule7)) -> rule2))] @3: The bald eagle is rough.[(((((((triple2) -> rule9) triple6) -> rule1)) -> rule5))] The bear is rough.[(((((((triple4) -> rule9) triple6) -> rule1)) -> rule5))] @4: The bald eagle is cold.[(((((((((triple2) -> rule9) triple6) -> rule1)) -> rule5)) -> rule7))] The bear is cold.[(((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5)) -> rule7))] @5: The bald eagle needs the tiger.[(((((((((((triple2) -> rule9) triple6) -> rule1)) -> rule5)) -> rule7)) -> rule2))] The bear needs the tiger.[(((((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5)) -> rule7)) -> rule2))]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple5
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple6
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((triple2) -> (rule9 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((triple4) -> (rule9 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((triple6) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
((triple6) -> (rule6 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
((triple2) -> (rule8 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
((triple4) -> (rule8 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple10) -> (rule7 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((triple2) -> (rule9 % int2)) triple6) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
((((triple4) -> (rule9 % int2)) triple6) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The tiger needs the bear.
("tiger" "needs" "bear" "+")
((((triple2) -> (rule9 % int3)) ((triple2) -> (rule8 % int2))) -> (rule3 % int1))
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
((((triple2) -> (rule9 % int3)) ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
((((triple4) -> (rule9 % int3)) ((triple2) -> (rule8 % int2))) -> (rule3 % int1))
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
((((triple4) -> (rule9 % int3)) ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
The tiger needs the bear.
("tiger" "needs" "bear" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((((triple10) -> (rule7 % int2))) -> (rule2 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((((triple2) -> (rule9 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
((((((triple4) -> (rule9 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((((((triple2) -> (rule9 % int4)) triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
((((((((triple4) -> (rule9 % int4)) triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int4
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((((((((((triple2) -> (rule9 % int5)) triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int5
The bear needs the tiger.
("bear" "needs" "tiger" "+")
((((((((((triple4) -> (rule9 % int5)) triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bear is nice.
("bear" "is" "nice" "+")
int4
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int5