The bald eagle chases the bear. The bald eagle is cold. The bald eagle sees the bear. The bear chases the mouse. The bear is nice. The bear needs the lion. The bear sees the lion. The lion is nice. The lion sees the mouse. The mouse is kind. The mouse sees the bald eagle. The mouse sees the bear. If something is nice then it chases the bald eagle. If something chases the bear then it is kind. If something chases the bald eagle and the bald eagle sees the lion then it chases the bear. If something needs the bear then it needs the mouse. If the bald eagle is cold then the bald eagle needs the mouse. If something sees the bald eagle then the bald eagle sees the lion.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If something is nice then it chases the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the bear then it is kind.
((("something" "chases" "bear" "+")) -> ("something" "is" "kind" "+"))
If something chases the bald eagle and the bald eagle sees the lion then it chases the bear.
((("something" "chases" "bald eagle" "+") ("bald eagle" "sees" "lion" "+")) -> ("something" "chases" "bear" "+"))
If something needs the bear then it needs the mouse.
((("something" "needs" "bear" "+")) -> ("something" "needs" "mouse" "+"))
If the bald eagle is cold then the bald eagle needs the mouse.
((("bald eagle" "is" "cold" "+")) -> ("bald eagle" "needs" "mouse" "+"))
If something sees the bald eagle then the bald eagle sees the lion.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "lion" "+"))
The bear sees the lion.
True
1
proof
[(triple7)]
("bear" "sees" "lion" "+")
triple7
The bear does not chase the mouse.
False
1
inv-proof
[(triple4)]
("bear" "chases" "mouse" "-")
triple4
The bear chases the bald eagle.
True
2
proof
[(((triple5) -> rule1))]
("bear" "chases" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear does not chase the bald eagle.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "chases" "bald eagle" "-")
((triple5) -> (rule1 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear chases the bear.
True
5
proof
[(((((triple5) -> rule1) ((triple11) -> rule6)) -> rule3))]
("bear" "chases" "bear" "+")
((((triple5) -> (rule1 % int3)) ((triple11) -> (rule6 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int3
The bear does not chase the bear.
False
5
inv-proof
[(((((triple5) -> rule1) ((triple11) -> rule6)) -> rule3))]
("bear" "chases" "bear" "-")
((((triple5) -> (rule1 % int3)) ((triple11) -> (rule6 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int3
The lion is kind.
True
6
proof
[(((((((triple8) -> rule1) ((triple11) -> rule6)) -> rule3)) -> rule2))]
("lion" "is" "kind" "+")
((((((triple8) -> (rule1 % int4)) ((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int4
The bear is not kind.
False
6
inv-proof
[(((((((triple5) -> rule1) ((triple11) -> rule6)) -> rule3)) -> rule2))]
("bear" "is" "kind" "-")
((((((triple5) -> (rule1 % int4)) ((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int4
The bear does not need the mouse.
Unknown
inv-rconc
[@1: The bear needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "needs" "mouse" "-")
The lion needs the mouse.
Unknown
rconc
[@1: The lion needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "needs" "mouse" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The mouse needs the mouse.
Unknown
rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "needs" "mouse" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The bear sees the bald eagle.
Unknown
random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "+")
The lion does not need the bald eagle.
Unknown
inv-random
[@0: The lion needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bald eagle" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear chases the mouse.[(triple4)] The bear is nice.[(triple5)] The bear needs the lion.[(triple6)] The bear sees the lion.[(triple7)] The lion is nice.[(triple8)] The lion sees the mouse.[(triple9)] The mouse is kind.[(triple10)] The mouse sees the bald eagle.[(triple11)] The mouse sees the bear.[(triple12)] @1: The bald eagle is kind.[(((triple1) -> rule2))] The bald eagle needs the mouse.[(((triple2) -> rule5))] The bald eagle sees the lion.[(((triple11) -> rule6))] The bear chases the bald eagle.[(((triple5) -> rule1))] The lion chases the bald eagle.[(((triple8) -> rule1))] @2: The bear chases the bear.[(((((triple5) -> rule1) ((triple11) -> rule6)) -> rule3))] The lion chases the bear.[(((((triple8) -> rule1) ((triple11) -> rule6)) -> rule3))] @3: The bear is kind.[(((((((triple5) -> rule1) ((triple11) -> rule6)) -> rule3)) -> rule2))] The lion is kind.[(((((((triple8) -> rule1) ((triple11) -> rule6)) -> rule3)) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple4
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear needs the lion.
("bear" "needs" "lion" "+")
triple6
The bear sees the lion.
("bear" "sees" "lion" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple9
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple11
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple12
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
((triple2) -> (rule5 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
((triple11) -> (rule6 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
((triple8) -> (rule1 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((((triple5) -> (rule1 % int3)) ((triple11) -> (rule6 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int3
The lion chases the bear.
("lion" "chases" "bear" "+")
((((triple8) -> (rule1 % int3)) ((triple11) -> (rule6 % int2))) -> (rule3 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
((((((triple5) -> (rule1 % int4)) ((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int4
The lion is kind.
("lion" "is" "kind" "+")
((((((triple8) -> (rule1 % int4)) ((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int4