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