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