The bald eagle sees the cow. The bear eats the bald eagle. The bear eats the cow. The bear is big. The bear is cold. The bear does not see the bald eagle. The bear sees the cow. The bear sees the lion. The cow eats the lion. The lion eats the bear. The lion needs the bear. The lion sees the bear. If someone eats the bald eagle then the bald eagle is nice. If someone is nice then they see the bald eagle. If someone needs the bald eagle and they are young then they are not kind. If someone eats the bald eagle then they see the cow. If someone is cold and they eat the lion then the lion is nice. If someone needs the bear then they need the cow. If the bald eagle needs the cow then the cow sees the lion. If the bald eagle does not see the cow and the bald eagle does not eat the lion then the lion does not see the bald eagle. If someone sees the bald eagle then they need the bear.
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 big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
If someone eats the bald eagle then the bald eagle is nice.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone is nice then they see the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone needs the bald eagle and they are young then they are not kind.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "-"))
If someone eats the bald eagle then they see the cow.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "sees" "cow" "+"))
If someone is cold and they eat the lion then the lion is nice.
((("someone" "is" "cold" "+") ("someone" "eats" "lion" "+")) -> ("lion" "is" "nice" "+"))
If someone needs the bear then they need the cow.
((("someone" "needs" "bear" "+")) -> ("someone" "needs" "cow" "+"))
If the bald eagle needs the cow then the cow sees the lion.
((("bald eagle" "needs" "cow" "+")) -> ("cow" "sees" "lion" "+"))
If the bald eagle does not see the cow and the bald eagle does not eat the lion then the lion does not see the bald eagle.
((("bald eagle" "sees" "cow" "~") ("bald eagle" "eats" "lion" "~")) -> ("lion" "sees" "bald eagle" "-"))
If someone sees the bald eagle then they need the bear.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "needs" "bear" "+"))
The bear does not see the bald eagle.
True
1
proof
[(triple6)]
("bear" "sees" "bald eagle" "-")
triple6
The cow does not eat the lion.
False
1
inv-proof
[(triple9)]
("cow" "eats" "lion" "-")
triple9
The lion needs the cow.
True
2
proof
[(((triple11) -> rule6))]
("lion" "needs" "cow" "+")
((triple11) -> (rule6 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "is" "nice" "-")
((triple2) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle sees the bald eagle.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("bald eagle" "sees" "bald eagle" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle does not see the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("bald eagle" "sees" "bald eagle" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle needs the bear.
True
4
proof
[(((((((triple2) -> rule1)) -> rule2)) -> rule9))]
("bald eagle" "needs" "bear" "+")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle does not need the bear.
False
4
inv-proof
[(((((((triple2) -> rule1)) -> rule2)) -> rule9))]
("bald eagle" "needs" "bear" "-")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle needs the cow.
True
5
proof
[(((((((((triple2) -> rule1)) -> rule2)) -> rule9)) -> rule6))]
("bald eagle" "needs" "cow" "+")
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle does not need the cow.
False
5
inv-proof
[(((((((((triple2) -> rule1)) -> rule2)) -> rule9)) -> rule6))]
("bald eagle" "needs" "cow" "-")
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The cow sees the lion.
True
6
proof
[(((((((((((triple2) -> rule1)) -> rule2)) -> rule9)) -> rule6)) -> rule7))]
("cow" "sees" "lion" "+")
((((((((((triple2) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The cow sees the lion.
("cow" "sees" "lion" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The cow does not see the lion.
False
6
inv-proof
[(((((((((((triple2) -> rule1)) -> rule2)) -> rule9)) -> rule6)) -> rule7))]
("cow" "sees" "lion" "-")
((((((((((triple2) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The cow sees the lion.
("cow" "sees" "lion" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The lion is not nice.
Unknown
inv-rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "nice" "-")
The cow needs the bear.
Unknown
rconc
[@2: The cow needs the bear.[CWA. Example of deepest failure = (rule9 <- rule2 <- FAIL)]]
("cow" "needs" "bear" "+")
The cow does not need the cow.
Unknown
inv-rconc
[@3: The cow needs the cow.[CWA. Example of deepest failure = (rule6 <- rule9 <- rule2 <- FAIL)]]
("cow" "needs" "cow" "-")
The bear needs the bear.
Unknown
rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bear" "needs" "bear" "+")
The bear does not need the cow.
Unknown
inv-rconc
[@2: The bear needs the cow.[CWA. Example of deepest failure = (rule6 <- rule9 <- FAIL)]]
("bear" "needs" "cow" "-")
The cow sees the bald eagle.
Unknown
rconc
[@1: The cow sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "sees" "bald eagle" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The lion eats the bald eagle.
Unknown
random
[@0: The lion eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bald eagle" "+")
The bald eagle does not need the lion.
Unknown
inv-random
[@0: The bald eagle needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "lion" "-")
The bear needs the bald eagle.
Unknown
random
[@0: The bear needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bald eagle" "+")
@0: The bald eagle sees the cow.[(triple1)] The bear does not see the bald eagle.[(triple6)] The bear eats the bald eagle.[(triple2)] The bear eats the cow.[(triple3)] The bear is big.[(triple4)] The bear is cold.[(triple5)] The bear sees the cow.[(triple7 OR ((triple2) -> rule4))] The bear sees the lion.[(triple8)] The cow eats the lion.[(triple9)] The lion eats the bear.[(triple10)] The lion needs the bear.[(triple11)] The lion sees the bear.[(triple12)] @1: The bald eagle is nice.[(((triple2) -> rule1))] The lion needs the cow.[(((triple11) -> rule6))] @2: The bald eagle sees the bald eagle.[(((((triple2) -> rule1)) -> rule2))] @3: The bald eagle needs the bear.[(((((((triple2) -> rule1)) -> rule2)) -> rule9))] @4: The bald eagle needs the cow.[(((((((((triple2) -> rule1)) -> rule2)) -> rule9)) -> rule6))] @5: The cow sees the lion.[(((((((((((triple2) -> rule1)) -> rule2)) -> rule9)) -> rule6)) -> rule7))]
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple1
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
triple6
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple2
The bear eats the cow.
("bear" "eats" "cow" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear is cold.
("bear" "is" "cold" "+")
triple5
The bear sees the cow.
("bear" "sees" "cow" "+")
triple7
((triple2) -> (rule4 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
triple8
The cow eats the lion.
("cow" "eats" "lion" "+")
triple9
The lion eats the bear.
("lion" "eats" "bear" "+")
triple10
The lion needs the bear.
("lion" "needs" "bear" "+")
triple11
The lion sees the bear.
("lion" "sees" "bear" "+")
triple12
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple2) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
((triple11) -> (rule6 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The cow sees the lion.
("cow" "sees" "lion" "+")
((((((((((triple2) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The cow sees the lion.
("cow" "sees" "lion" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5