The bald eagle is nice. The bald eagle is red. The bald eagle needs the bear. The bald eagle needs the cow. The bald eagle sees the cow. The bear eats the bald eagle. The bear eats the cow. The bear is rough. The bear sees the squirrel. The cow is rough. The cow does not need the bald eagle. The squirrel eats the bald eagle. The squirrel is not nice. The squirrel needs the bear. The squirrel needs the cow. The squirrel sees the bald eagle. If someone needs the squirrel then the squirrel is rough. If someone is cold then they see the squirrel. If the squirrel is rough then the squirrel needs the bald eagle. If someone needs the bald eagle then they eat the squirrel. All red people are not cold. If someone eats the squirrel then the squirrel does not eat the bear. If someone needs the bear and they are not nice then the bear needs the squirrel. If someone is rough then they see the bald eagle. If someone is red and they do not see the squirrel then the squirrel sees the bear.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If someone needs the squirrel then the squirrel is rough.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone is cold then they see the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "squirrel" "+"))
If the squirrel is rough then the squirrel needs the bald eagle.
((("squirrel" "is" "rough" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If someone needs the bald eagle then they eat the squirrel.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "eats" "squirrel" "+"))
All red people are not cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "-"))
If someone eats the squirrel then the squirrel does not eat the bear.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "eats" "bear" "-"))
If someone needs the bear and they are not nice then the bear needs the squirrel.
((("someone" "needs" "bear" "+") ("someone" "is" "nice" "~")) -> ("bear" "needs" "squirrel" "+"))
If someone is rough then they see the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is red and they do not see the squirrel then the squirrel sees the bear.
((("someone" "is" "red" "+") ("someone" "sees" "squirrel" "~")) -> ("squirrel" "sees" "bear" "+"))
The squirrel is not nice.
True
1
proof
[(triple13)]
("squirrel" "is" "nice" "-")
triple13
The squirrel does not need the bear.
False
1
inv-proof
[(triple14)]
("squirrel" "needs" "bear" "-")
triple14
The bald eagle is not cold.
True
2
proof
[(((triple2) -> rule5))]
("bald eagle" "is" "cold" "-")
((triple2) -> (rule5 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1
The bald eagle is cold.
False
2
inv-proof
[(((triple2) -> rule5))]
("bald eagle" "is" "cold" "+")
((triple2) -> (rule5 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1
The squirrel is rough.
True
4
proof
[(((((triple14 triple13) -> rule7)) -> rule1))]
("squirrel" "is" "rough" "+")
((((triple14 triple13) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel is not rough.
False
4
inv-proof
[(((((triple14 triple13) -> rule7)) -> rule1))]
("squirrel" "is" "rough" "-")
((((triple14 triple13) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel needs the bald eagle.
True
5
proof
[(((((((triple14 triple13) -> rule7)) -> rule1)) -> rule3))]
("squirrel" "needs" "bald eagle" "+")
((((((triple14 triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The squirrel does not need the bald eagle.
False
5
inv-proof
[(((((((triple14 triple13) -> rule7)) -> rule1)) -> rule3))]
("squirrel" "needs" "bald eagle" "-")
((((((triple14 triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The squirrel eats the squirrel.
True
6
proof
[(((((((((triple14 triple13) -> rule7)) -> rule1)) -> rule3)) -> rule4))]
("squirrel" "eats" "squirrel" "+")
((((((((triple14 triple13) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
The squirrel does not eat the squirrel.
False
6
inv-proof
[(((((((((triple14 triple13) -> rule7)) -> rule1)) -> rule3)) -> rule4))]
("squirrel" "eats" "squirrel" "-")
((((((((triple14 triple13) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
The squirrel does not eat the bear.
True
7
proof
[(((((((((((triple14 triple13) -> rule7)) -> rule1)) -> rule3)) -> rule4)) -> rule6))]
("squirrel" "eats" "bear" "-")
((((((((((triple14 triple13) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
The squirrel eats the bear.
False
7
inv-proof
[(((((((((((triple14 triple13) -> rule7)) -> rule1)) -> rule3)) -> rule4)) -> rule6))]
("squirrel" "eats" "bear" "+")
((((((((((triple14 triple13) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5
The cow does not eat the squirrel.
Unknown
inv-rconc
[@1: The cow eats the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "squirrel" "-")
The squirrel sees the squirrel.
Unknown
rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "sees" "squirrel" "+")
The cow does not see the squirrel.
Unknown
inv-rconc
[@1: The cow sees the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "sees" "squirrel" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle does not eat the squirrel.
Unknown
inv-rconc
[@1: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The bald eagle sees the squirrel.
Unknown
rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "squirrel" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
The cow does not need the bear.
Unknown
inv-random
[@0: The cow needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bear" "-")
The cow needs the squirrel.
Unknown
random
[@0: The cow needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "squirrel" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The bald eagle eats the bear.
Unknown
random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle sees the cow.[(triple5)] The bear eats the bald eagle.[(triple6)] The bear eats the cow.[(triple7)] The bear is rough.[(triple8)] The bear sees the squirrel.[(triple9)] The cow does not need the bald eagle.[(triple11)] The cow is rough.[(triple10)] The squirrel eats the bald eagle.[(triple12)] The squirrel is not nice.[(triple13)] The squirrel needs the bear.[(triple14)] The squirrel needs the cow.[(triple15)] The squirrel sees the bald eagle.[(triple16 OR ((((((triple14 triple13) -> rule7)) -> rule1)) -> rule8))] @1: The bald eagle is not cold.[(((triple2) -> rule5))] The bear needs the squirrel.[(((triple14 triple13) -> rule7))] The bear sees the bald eagle.[(((triple8) -> rule8))] The cow sees the bald eagle.[(((triple10) -> rule8))] @2: The squirrel is rough.[(((((triple14 triple13) -> rule7)) -> rule1))] @3: The squirrel needs the bald eagle.[(((((((triple14 triple13) -> rule7)) -> rule1)) -> rule3))] @4: The squirrel eats the squirrel.[(((((((((triple14 triple13) -> rule7)) -> rule1)) -> rule3)) -> rule4))] @5: The squirrel does not eat the bear.[(((((((((((triple14 triple13) -> rule7)) -> rule1)) -> rule3)) -> rule4)) -> rule6))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple5
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple6
The bear eats the cow.
("bear" "eats" "cow" "+")
triple7
The bear is rough.
("bear" "is" "rough" "+")
triple8
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple9
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
triple11
The cow is rough.
("cow" "is" "rough" "+")
triple10
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple12
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple13
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple14
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple15
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple16
((((((triple14 triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
((triple2) -> (rule5 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
((triple14 triple13) -> (rule7 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple8) -> (rule8 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple10) -> (rule8 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((triple14 triple13) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((((((triple14 triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((((((triple14 triple13) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
((((((((((triple14 triple13) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int5