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