The bald eagle is cold. The bald eagle is kind. The bald eagle does not see the bear. The bald eagle visits the lion. The bear is big. The lion is big. The lion is not young. The squirrel eats the lion. The squirrel does not see the bald eagle. The squirrel sees the bear. The squirrel visits the bald eagle. If someone is green and big then they visit the bald eagle. If someone visits the bear and the bear is big then they visit the bald eagle. If someone visits the bald eagle and they are big then the bald eagle eats the bear. If someone eats the bear then the bear is green. If someone eats the lion then the lion eats the bear. If someone eats the lion then they are young. If someone sees the bear then they do not eat the bear. If someone is kind and they do not visit the squirrel then they are cold. If someone is green and they visit the bald eagle then they eat the lion.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bear is big.
("bear" "is" "big" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is not young.
("lion" "is" "young" "-")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone is green and big then they visit the bald eagle.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the bear and the bear is big then they visit the bald eagle.
((("someone" "visits" "bear" "+") ("bear" "is" "big" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the bald eagle and they are big then the bald eagle eats the bear.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "big" "+")) -> ("bald eagle" "eats" "bear" "+"))
If someone eats the bear then the bear is green.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "green" "+"))
If someone eats the lion then the lion eats the bear.
((("someone" "eats" "lion" "+")) -> ("lion" "eats" "bear" "+"))
If someone eats the lion then they are young.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "young" "+"))
If someone sees the bear then they do not eat the bear.
((("someone" "sees" "bear" "+")) -> ("someone" "eats" "bear" "-"))
If someone is kind and they do not visit the squirrel then they are cold.
((("someone" "is" "kind" "+") ("someone" "visits" "squirrel" "~")) -> ("someone" "is" "cold" "+"))
If someone is green and they visit the bald eagle then they eat the lion.
((("someone" "is" "green" "+") ("someone" "visits" "bald eagle" "+")) -> ("someone" "eats" "lion" "+"))
The bald eagle does not see the bear.
True
1
proof
[(triple3)]
("bald eagle" "sees" "bear" "-")
triple3
The squirrel sees the bald eagle.
False
1
inv-proof
[(triple9)]
("squirrel" "sees" "bald eagle" "+")
triple9
The lion eats the bear.
True
2
proof
[(((triple8) -> rule5))]
("lion" "eats" "bear" "+")
((triple8) -> (rule5 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The squirrel is not young.
False
2
inv-proof
[(((triple8) -> rule6))]
("squirrel" "is" "young" "-")
((triple8) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bear is green.
True
3
proof
[(((((triple8) -> rule5)) -> rule4))]
("bear" "is" "green" "+")
((((triple8) -> (rule5 % int2))) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The lion eats the bear.
("lion" "eats" "bear" "+")
int2
The bear is not green.
False
3
inv-proof
[(((((triple8) -> rule5)) -> rule4))]
("bear" "is" "green" "-")
((((triple8) -> (rule5 % int2))) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The lion eats the bear.
("lion" "eats" "bear" "+")
int2
The bear visits the bald eagle.
True
5
proof
[(((((((triple8) -> rule5)) -> rule4) triple5) -> rule1))]
("bear" "visits" "bald eagle" "+")
((((((triple8) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The lion eats the bear.
("lion" "eats" "bear" "+")
int3
The bear does not visit the bald eagle.
False
5
inv-proof
[(((((((triple8) -> rule5)) -> rule4) triple5) -> rule1))]
("bear" "visits" "bald eagle" "-")
((((((triple8) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The lion eats the bear.
("lion" "eats" "bear" "+")
int3
The bald eagle eats the bear.
True
7
proof
[(((((((((triple8) -> rule5)) -> rule4) triple5) -> rule1) triple5) -> rule3))]
("bald eagle" "eats" "bear" "+")
((((((((triple8) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The lion eats the bear.
("lion" "eats" "bear" "+")
int4
The bear does not eat the lion.
False
9
inv-proof
[(((((((triple8) -> rule5)) -> rule4) ((((((triple8) -> rule5)) -> rule4) triple5) -> rule1)) -> rule9))]
("bear" "eats" "lion" "-")
((((((triple8) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple8) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule1 % int2))) -> (rule9 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The lion eats the bear.
("lion" "eats" "bear" "+")
int4
The bear is young.
True
10
proof
[(((((((((triple8) -> rule5)) -> rule4) ((((((triple8) -> rule5)) -> rule4) triple5) -> rule1)) -> rule9)) -> rule6))]
("bear" "is" "young" "+")
((((((((triple8) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple8) -> (rule5 % int5))) -> (rule4 % int4)) triple5) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The lion eats the bear.
("lion" "eats" "bear" "+")
int5
The bear is not young.
False
10
inv-proof
[(((((((((triple8) -> rule5)) -> rule4) ((((((triple8) -> rule5)) -> rule4) triple5) -> rule1)) -> rule9)) -> rule6))]
("bear" "is" "young" "-")
((((((((triple8) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple8) -> (rule5 % int5))) -> (rule4 % int4)) triple5) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The lion eats the bear.
("lion" "eats" "bear" "+")
int5
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("lion" "eats" "lion" "-")
The bald eagle eats the lion.
Unknown
rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "eats" "lion" "+")
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "is" "cold" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "cold" "-")
The bald eagle is young.
Unknown
rconc
[@2: The bald eagle is young.[CWA. Example of deepest failure = (rule6 <- rule9 <- FAIL)]]
("bald eagle" "is" "young" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The lion does not see the squirrel.
Unknown
inv-random
[@0: The lion sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "squirrel" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bear does not visit the squirrel.
Unknown
inv-random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "-")
The bear eats the bald eagle.
Unknown
random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "+")
@0: The bald eagle does not see the bear.[(triple3)] The bald eagle is cold.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle visits the lion.[(triple4)] The bear is big.[(triple5)] The lion is big.[(triple6)] The lion is not young.[(triple7)] The squirrel does not see the bald eagle.[(triple9)] The squirrel eats the lion.[(triple8)] The squirrel sees the bear.[(triple10)] The squirrel visits the bald eagle.[(triple11)] @1: The lion eats the bear.[(((triple8) -> rule5))] The squirrel does not eat the bear.[(((triple10) -> rule7))] The squirrel is young.[(((triple8) -> rule6))] @2: The bear is green.[(((((triple8) -> rule5)) -> rule4))] @3: The bear visits the bald eagle.[(((((((triple8) -> rule5)) -> rule4) triple5) -> rule1))] @4: The bald eagle eats the bear.[(((((((((triple8) -> rule5)) -> rule4) triple5) -> rule1) triple5) -> rule3))] The bear eats the lion.[(((((((triple8) -> rule5)) -> rule4) ((((((triple8) -> rule5)) -> rule4) triple5) -> rule1)) -> rule9))] @5: The bear is young.[(((((((((triple8) -> rule5)) -> rule4) ((((((triple8) -> rule5)) -> rule4) triple5) -> rule1)) -> rule9)) -> rule6))]
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion is not young.
("lion" "is" "young" "-")
triple7
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple9
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple8
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple11
The lion eats the bear.
("lion" "eats" "bear" "+")
((triple8) -> (rule5 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
((triple10) -> (rule7 % int1))
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple8) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((((triple8) -> (rule5 % int2))) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The lion eats the bear.
("lion" "eats" "bear" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((((((triple8) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The lion eats the bear.
("lion" "eats" "bear" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((((((((triple8) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The lion eats the bear.
("lion" "eats" "bear" "+")
int4
The bear eats the lion.
("bear" "eats" "lion" "+")
((((((triple8) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple8) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule1 % int2))) -> (rule9 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The lion eats the bear.
("lion" "eats" "bear" "+")
int4
The bear is young.
("bear" "is" "young" "+")
((((((((triple8) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple8) -> (rule5 % int5))) -> (rule4 % int4)) triple5) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The lion eats the bear.
("lion" "eats" "bear" "+")
int5