The bald eagle is cold. The bald eagle is young. The bald eagle needs the cow. The bald eagle does not see the tiger. The cow is cold. The squirrel does not visit the bald eagle. The squirrel visits the cow. The tiger is not cold. The tiger does not need the squirrel. The tiger sees the bald eagle. The tiger sees the cow. If the cow visits the bald eagle then the bald eagle does not need the tiger. If something is red and it sees the bald eagle then the bald eagle visits the cow. If something visits the cow and it needs the cow then it visits the bald eagle. If something sees the cow then it is red. If something sees the squirrel then it needs the squirrel. If something visits the bald eagle and the bald eagle needs the cow then the cow sees the squirrel. If something visits the squirrel and the squirrel is red then the squirrel does not see the tiger. If something sees the cow then it is not cold.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The cow is cold.
("cow" "is" "cold" "+")
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If the cow visits the bald eagle then the bald eagle does not need the tiger.
((("cow" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "tiger" "-"))
If something is red and it sees the bald eagle then the bald eagle visits the cow.
((("something" "is" "red" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "cow" "+"))
If something visits the cow and it needs the cow then it visits the bald eagle.
((("something" "visits" "cow" "+") ("something" "needs" "cow" "+")) -> ("something" "visits" "bald eagle" "+"))
If something sees the cow then it is red.
((("something" "sees" "cow" "+")) -> ("something" "is" "red" "+"))
If something sees the squirrel then it needs the squirrel.
((("something" "sees" "squirrel" "+")) -> ("something" "needs" "squirrel" "+"))
If something visits the bald eagle and the bald eagle needs the cow then the cow sees the squirrel.
((("something" "visits" "bald eagle" "+") ("bald eagle" "needs" "cow" "+")) -> ("cow" "sees" "squirrel" "+"))
If something visits the squirrel and the squirrel is red then the squirrel does not see the tiger.
((("something" "visits" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "sees" "tiger" "-"))
If something sees the cow then it is not cold.
((("something" "sees" "cow" "+")) -> ("something" "is" "cold" "-"))
The bald eagle is young.
True
1
proof
[(triple2)]
("bald eagle" "is" "young" "+")
triple2
The tiger does not see the bald eagle.
False
1
inv-proof
[(triple10)]
("tiger" "sees" "bald eagle" "-")
triple10
The tiger is red.
True
2
proof
[(((triple11) -> rule4))]
("tiger" "is" "red" "+")
((triple11) -> (rule4 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is not red.
False
2
inv-proof
[(((triple11) -> rule4))]
("tiger" "is" "red" "-")
((triple11) -> (rule4 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bald eagle visits the cow.
True
4
proof
[(((((triple11) -> rule4) triple10) -> rule2))]
("bald eagle" "visits" "cow" "+")
((((triple11) -> (rule4 % int2)) triple10) -> (rule2 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The bald eagle does not visit the cow.
False
4
inv-proof
[(((((triple11) -> rule4) triple10) -> rule2))]
("bald eagle" "visits" "cow" "-")
((((triple11) -> (rule4 % int2)) triple10) -> (rule2 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The bald eagle visits the bald eagle.
True
6
proof
[(((((((triple11) -> rule4) triple10) -> rule2) triple3) -> rule3))]
("bald eagle" "visits" "bald eagle" "+")
((((((triple11) -> (rule4 % int3)) triple10) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The bald eagle does not visit the bald eagle.
False
6
inv-proof
[(((((((triple11) -> rule4) triple10) -> rule2) triple3) -> rule3))]
("bald eagle" "visits" "bald eagle" "-")
((((((triple11) -> (rule4 % int3)) triple10) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The cow sees the squirrel.
True
8
proof
[(((((((((triple11) -> rule4) triple10) -> rule2) triple3) -> rule3) triple3) -> rule6))]
("cow" "sees" "squirrel" "+")
((((((((triple11) -> (rule4 % int4)) triple10) -> (rule2 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule6 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The cow does not see the squirrel.
False
8
inv-proof
[(((((((((triple11) -> rule4) triple10) -> rule2) triple3) -> rule3) triple3) -> rule6))]
("cow" "sees" "squirrel" "-")
((((((((triple11) -> (rule4 % int4)) triple10) -> (rule2 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule6 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The cow needs the squirrel.
True
9
proof
[(((((((((((triple11) -> rule4) triple10) -> rule2) triple3) -> rule3) triple3) -> rule6)) -> rule5))]
("cow" "needs" "squirrel" "+")
((((((((((triple11) -> (rule4 % int5)) triple10) -> (rule2 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule6 % int2))) -> (rule5 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int4
The tiger is red.
("tiger" "is" "red" "+")
int5
The cow does not need the squirrel.
False
9
inv-proof
[(((((((((((triple11) -> rule4) triple10) -> rule2) triple3) -> rule3) triple3) -> rule6)) -> rule5))]
("cow" "needs" "squirrel" "-")
((((((((((triple11) -> (rule4 % int5)) triple10) -> (rule2 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule6 % int2))) -> (rule5 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int4
The tiger is red.
("tiger" "is" "red" "+")
int5
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "red" "-")
The squirrel needs the squirrel.
Unknown
rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "needs" "squirrel" "+")
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "red" "-")
The bald eagle needs the squirrel.
Unknown
rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "squirrel" "+")
The cow does not visit the bald eagle.
Unknown
inv-rconc
[@1: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "bald eagle" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "red" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The squirrel sees the cow.
Unknown
random
[@0: The squirrel sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cow" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The bald eagle sees the cow.
Unknown
random
[@0: The bald eagle sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cow" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle does not see the tiger.[(triple4)] The bald eagle is cold.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the cow.[(triple3)] The cow is cold.[(triple5)] The squirrel does not visit the bald eagle.[(triple6)] The squirrel visits the cow.[(triple7)] The tiger does not need the squirrel.[(triple9)] The tiger is not cold.[(triple8 OR ((triple11) -> rule8))] The tiger sees the bald eagle.[(triple10)] The tiger sees the cow.[(triple11)] @1: The tiger is red.[(((triple11) -> rule4))] @2: The bald eagle visits the cow.[(((((triple11) -> rule4) triple10) -> rule2))] @3: The bald eagle visits the bald eagle.[(((((((triple11) -> rule4) triple10) -> rule2) triple3) -> rule3))] @4: The cow sees the squirrel.[(((((((((triple11) -> rule4) triple10) -> rule2) triple3) -> rule3) triple3) -> rule6))] @5: The cow needs the squirrel.[(((((((((((triple11) -> rule4) triple10) -> rule2) triple3) -> rule3) triple3) -> rule6)) -> rule5))]
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple5
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
triple6
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple7
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
triple9
The tiger is not cold.
("tiger" "is" "cold" "-")
triple8
((triple11) -> (rule8 % int1))
The tiger is not cold.
("tiger" "is" "cold" "-")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple10
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
((triple11) -> (rule4 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
((((triple11) -> (rule4 % int2)) triple10) -> (rule2 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((((triple11) -> (rule4 % int3)) triple10) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
((((((((triple11) -> (rule4 % int4)) triple10) -> (rule2 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule6 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
((((((((((triple11) -> (rule4 % int5)) triple10) -> (rule2 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule6 % int2))) -> (rule5 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int4
The tiger is red.
("tiger" "is" "red" "+")
int5