The bald eagle needs the mouse. The bald eagle sees the cow. The bald eagle sees the mouse. The bald eagle visits the bear. The bear is blue. The bear is green. The bear is nice. The bear needs the cow. The cow sees the bald eagle. The cow visits the bald eagle. The mouse is green. The mouse needs the bear. The mouse visits the bear. The mouse visits the cow. If someone needs the bear and the bear is green then they visit the mouse. If someone is blue and they see the cow then they visit the mouse. If the mouse needs the bear and the bear visits the bald eagle then the mouse is cold. If someone is red then they need the mouse. If the cow needs the bear then the bear visits the bald eagle. If the cow sees the bear then the cow visits the mouse. If someone is cold and they visit the bear then the bear is red. If someone visits the mouse and the mouse needs the bear then they need the bear. If someone visits the bald eagle then they visit the mouse.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If someone needs the bear and the bear is green then they visit the mouse.
((("someone" "needs" "bear" "+") ("bear" "is" "green" "+")) -> ("someone" "visits" "mouse" "+"))
If someone is blue and they see the cow then they visit the mouse.
((("someone" "is" "blue" "+") ("someone" "sees" "cow" "+")) -> ("someone" "visits" "mouse" "+"))
If the mouse needs the bear and the bear visits the bald eagle then the mouse is cold.
((("mouse" "needs" "bear" "+") ("bear" "visits" "bald eagle" "+")) -> ("mouse" "is" "cold" "+"))
If someone is red then they need the mouse.
((("someone" "is" "red" "+")) -> ("someone" "needs" "mouse" "+"))
If the cow needs the bear then the bear visits the bald eagle.
((("cow" "needs" "bear" "+")) -> ("bear" "visits" "bald eagle" "+"))
If the cow sees the bear then the cow visits the mouse.
((("cow" "sees" "bear" "+")) -> ("cow" "visits" "mouse" "+"))
If someone is cold and they visit the bear then the bear is red.
((("someone" "is" "cold" "+") ("someone" "visits" "bear" "+")) -> ("bear" "is" "red" "+"))
If someone visits the mouse and the mouse needs the bear then they need the bear.
((("someone" "visits" "mouse" "+") ("mouse" "needs" "bear" "+")) -> ("someone" "needs" "bear" "+"))
If someone visits the bald eagle then they visit the mouse.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "mouse" "+"))
The bald eagle visits the bear.
True
1
proof
[(triple4)]
("bald eagle" "visits" "bear" "+")
triple4
The bear is not nice.
False
1
inv-proof
[(triple7)]
("bear" "is" "nice" "-")
triple7
The cow visits the mouse.
True
2
proof
[(((triple10) -> rule9))]
("cow" "visits" "mouse" "+")
((triple10) -> (rule9 % int1))
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int1
The cow does not visit the mouse.
False
2
inv-proof
[(((triple10) -> rule9))]
("cow" "visits" "mouse" "-")
((triple10) -> (rule9 % int1))
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int1
The cow needs the bear.
True
4
proof
[(((((triple10) -> rule9) triple12) -> rule8))]
("cow" "needs" "bear" "+")
((((triple10) -> (rule9 % int2)) triple12) -> (rule8 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int2
The cow does not need the bear.
False
4
inv-proof
[(((((triple10) -> rule9) triple12) -> rule8))]
("cow" "needs" "bear" "-")
((((triple10) -> (rule9 % int2)) triple12) -> (rule8 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int2
The bear visits the bald eagle.
True
5
proof
[(((((((triple10) -> rule9) triple12) -> rule8)) -> rule5))]
("bear" "visits" "bald eagle" "+")
((((((triple10) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule5 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
int2
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int3
The bear does not visit the bald eagle.
False
5
inv-proof
[(((((((triple10) -> rule9) triple12) -> rule8)) -> rule5))]
("bear" "visits" "bald eagle" "-")
((((((triple10) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule5 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
int2
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int3
The mouse is cold.
True
7
proof
[(((triple12 ((((((triple10) -> rule9) triple12) -> rule8)) -> rule5)) -> rule3))]
("mouse" "is" "cold" "+")
((triple12 ((((((triple10) -> (rule9 % int4)) triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The cow needs the bear.
("cow" "needs" "bear" "+")
int3
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int4
The mouse is not cold.
False
7
inv-proof
[(((triple12 ((((((triple10) -> rule9) triple12) -> rule8)) -> rule5)) -> rule3))]
("mouse" "is" "cold" "-")
((triple12 ((((((triple10) -> (rule9 % int4)) triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The cow needs the bear.
("cow" "needs" "bear" "+")
int3
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int4
The bear needs the bear.
True
8
proof
[(((((((((((triple10) -> rule9) triple12) -> rule8)) -> rule5)) -> rule9) triple12) -> rule8))]
("bear" "needs" "bear" "+")
((((((((((triple10) -> (rule9 % int5)) triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2)) triple12) -> (rule8 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int3
The cow needs the bear.
("cow" "needs" "bear" "+")
int4
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int5
The bear does not need the bear.
False
8
inv-proof
[(((((((((((triple10) -> rule9) triple12) -> rule8)) -> rule5)) -> rule9) triple12) -> rule8))]
("bear" "needs" "bear" "-")
((((((((((triple10) -> (rule9 % int5)) triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2)) triple12) -> (rule8 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int3
The cow needs the bear.
("cow" "needs" "bear" "+")
int4
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int5
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The bald eagle visits the mouse.
Unknown
rconc
[@3: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule2 <- FAIL)]]
("bald eagle" "visits" "mouse" "+")
The cow does not need the mouse.
Unknown
inv-rconc
[@1: The cow needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "needs" "mouse" "-")
The bald eagle needs the bear.
Unknown
rconc
[@2: The bald eagle needs the bear.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("bald eagle" "needs" "bear" "+")
The bald eagle does not see the bear.
Unknown
inv-random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "-")
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 cow does not visit the bear.
Unknown
inv-random
[@0: The cow visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bear" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The mouse sees the bear.
Unknown
random
[@0: The mouse sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bear" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle needs the mouse.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle sees the mouse.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear is blue.[(triple5)] The bear is green.[(triple6)] The bear is nice.[(triple7)] The bear needs the cow.[(triple8)] The cow sees the bald eagle.[(triple9)] The cow visits the bald eagle.[(triple10)] The mouse is green.[(triple11)] The mouse needs the bear.[(triple12)] The mouse visits the bear.[(triple13)] The mouse visits the cow.[(triple14)] @1: The cow visits the mouse.[(((triple10) -> rule9))] The mouse visits the mouse.[(((triple12 triple6) -> rule1))] @2: The cow needs the bear.[(((((triple10) -> rule9) triple12) -> rule8))] @3: The bear visits the bald eagle.[(((((((triple10) -> rule9) triple12) -> rule8)) -> rule5))] @4: The bear visits the mouse.[(((((((((triple10) -> rule9) triple12) -> rule8)) -> rule5)) -> rule9))] The mouse is cold.[(((triple12 ((((((triple10) -> rule9) triple12) -> rule8)) -> rule5)) -> rule3))] @5: The bear is red.[(((((triple12 ((((((triple10) -> rule9) triple12) -> rule8)) -> rule5)) -> rule3) triple13) -> rule7))] The bear needs the bear.[(((((((((((triple10) -> rule9) triple12) -> rule8)) -> rule5)) -> rule9) triple12) -> rule8))] @6: The bear needs the mouse.[(((((((triple12 ((((((triple10) -> rule9) triple12) -> rule8)) -> rule5)) -> rule3) triple13) -> rule7)) -> rule4))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear is blue.
("bear" "is" "blue" "+")
triple5
The bear is green.
("bear" "is" "green" "+")
triple6
The bear is nice.
("bear" "is" "nice" "+")
triple7
The bear needs the cow.
("bear" "needs" "cow" "+")
triple8
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple9
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple10
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple12
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple13
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple14
The cow visits the mouse.
("cow" "visits" "mouse" "+")
((triple10) -> (rule9 % int1))
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple12 triple6) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
((((triple10) -> (rule9 % int2)) triple12) -> (rule8 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((((((triple10) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule5 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
int2
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
((((((((triple10) -> (rule9 % int4)) triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The cow needs the bear.
("cow" "needs" "bear" "+")
int3
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int4
The mouse is cold.
("mouse" "is" "cold" "+")
((triple12 ((((((triple10) -> (rule9 % int4)) triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The cow needs the bear.
("cow" "needs" "bear" "+")
int3
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int4
The bear is red.
("bear" "is" "red" "+")
((((triple12 ((((((triple10) -> (rule9 % int5)) triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple13) -> (rule7 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int3
The cow needs the bear.
("cow" "needs" "bear" "+")
int4
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int5
The bear needs the bear.
("bear" "needs" "bear" "+")
((((((((((triple10) -> (rule9 % int5)) triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2)) triple12) -> (rule8 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int3
The cow needs the bear.
("cow" "needs" "bear" "+")
int4
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int5
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((((((triple12 ((((((triple10) -> (rule9 % int6)) triple12) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple13) -> (rule7 % int2))) -> (rule4 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int4
The cow needs the bear.
("cow" "needs" "bear" "+")
int5
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int6