The bald eagle is green. The bald eagle likes the bear. The bald eagle visits the mouse. The bear eats the cow. The bear is blue. The bear visits the mouse. The cow eats the bald eagle. The cow eats the mouse. The cow is green. The cow is kind. The cow likes the bald eagle. The cow likes the bear. The cow visits the bear. The mouse eats the bear. If someone visits the mouse then they are green. If someone visits the cow and the cow likes the mouse then they visit the mouse. All red people are kind. If someone visits the cow then they eat the bald eagle. If someone eats the bald eagle and the bald eagle likes the mouse then the bald eagle is big. If someone is red and big then they like the mouse. If someone eats the bald eagle then they are red. If someone is green then they visit the cow. If the bald eagle likes the cow then the cow eats the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
If someone visits the mouse then they are green.
((("someone" "visits" "mouse" "+")) -> ("someone" "is" "green" "+"))
If someone visits the cow and the cow likes the mouse then they visit the mouse.
((("someone" "visits" "cow" "+") ("cow" "likes" "mouse" "+")) -> ("someone" "visits" "mouse" "+"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone visits the cow then they eat the bald eagle.
((("someone" "visits" "cow" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the bald eagle and the bald eagle likes the mouse then the bald eagle is big.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "likes" "mouse" "+")) -> ("bald eagle" "is" "big" "+"))
If someone is red and big then they like the mouse.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "likes" "mouse" "+"))
If someone eats the bald eagle then they are red.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they visit the cow.
((("someone" "is" "green" "+")) -> ("someone" "visits" "cow" "+"))
If the bald eagle likes the cow then the cow eats the bald eagle.
((("bald eagle" "likes" "cow" "+")) -> ("cow" "eats" "bald eagle" "+"))
The bald eagle likes the bear.
True
1
proof
[(triple2)]
("bald eagle" "likes" "bear" "+")
triple2
The bear does not visit the mouse.
False
1
inv-proof
[(triple6)]
("bear" "visits" "mouse" "-")
triple6
The cow visits the cow.
True
2
proof
[(((triple9) -> rule8))]
("cow" "visits" "cow" "+")
((triple9) -> (rule8 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow does not visit the cow.
False
2
inv-proof
[(((triple9) -> rule8))]
("cow" "visits" "cow" "-")
((triple9) -> (rule8 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The bear visits the cow.
True
3
proof
[(((((triple6) -> rule1)) -> rule8))]
("bear" "visits" "cow" "+")
((((triple6) -> (rule1 % int2))) -> (rule8 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear does not visit the cow.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule8))]
("bear" "visits" "cow" "-")
((((triple6) -> (rule1 % int2))) -> (rule8 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear eats the bald eagle.
True
4
proof
[(((((((triple6) -> rule1)) -> rule8)) -> rule4))]
("bear" "eats" "bald eagle" "+")
((((((triple6) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bald eagle is not red.
False
4
inv-proof
[(((((((triple1) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule4)) -> rule7))]
("bald eagle" "is" "red" "-")
((((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bear is red.
True
5
proof
[(((((((((triple6) -> rule1)) -> rule8)) -> rule4)) -> rule7))]
("bear" "is" "red" "+")
((((((((triple6) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bald eagle is not kind.
False
5
inv-proof
[(((((((((triple1) -> rule8)) -> rule4)) -> rule7)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule8)) -> rule4)) -> rule7)) -> rule3))]
("bald eagle" "is" "kind" "-")
((((((((triple1) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int4
((((((((((triple3) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int4
The bald eagle is green.
("bald eagle" "is" "green" "+")
int5
The bear is kind.
True
6
proof
[(((((((((((triple6) -> rule1)) -> rule8)) -> rule4)) -> rule7)) -> rule3))]
("bear" "is" "kind" "+")
((((((((((triple6) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
The bear visits the cow.
("bear" "visits" "cow" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5
The bear is not kind.
False
6
inv-proof
[(((((((((((triple6) -> rule1)) -> rule8)) -> rule4)) -> rule7)) -> rule3))]
("bear" "is" "kind" "-")
((((((((((triple6) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
The bear visits the cow.
("bear" "visits" "cow" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5
The cow does not visit the mouse.
Unknown
inv-rconc
[@2: The cow visits the mouse.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("cow" "visits" "mouse" "-")
The mouse is green.
Unknown
rconc
[@3: The mouse is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule8 <- FAIL)]]
("mouse" "is" "green" "+")
The mouse does not eat the bald eagle.
Unknown
inv-rconc
[@4: The mouse eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule1 <- rule2 <- FAIL)]]
("mouse" "eats" "bald eagle" "-")
The bald eagle likes the mouse.
Unknown
rconc
[@2: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("bald eagle" "likes" "mouse" "+")
The bear does not like the mouse.
Unknown
inv-rconc
[@1: The bear likes the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "likes" "mouse" "-")
The mouse visits the cow.
Unknown
rconc
[@3: The mouse visits the cow.[CWA. Example of deepest failure = (rule8 <- rule1 <- rule2 <- FAIL)]]
("mouse" "visits" "cow" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
The bear does not like the bald eagle.
Unknown
inv-random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "-")
The bald eagle eats the mouse.
Unknown
random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "+")
@0: The bald eagle is green.[(triple1 OR ((triple3) -> rule1))] The bald eagle likes the bear.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bear eats the cow.[(triple4)] The bear is blue.[(triple5)] The bear visits the mouse.[(triple6)] The cow eats the bald eagle.[(triple7 OR ((((triple9) -> rule8)) -> rule4))] The cow eats the mouse.[(triple8)] The cow is green.[(triple9)] The cow is kind.[(triple10 OR ((((triple7) -> rule7)) -> rule3) OR ((((((((triple9) -> rule8)) -> rule4)) -> rule7)) -> rule3))] The cow likes the bald eagle.[(triple11)] The cow likes the bear.[(triple12)] The cow visits the bear.[(triple13)] The mouse eats the bear.[(triple14)] @1: The bald eagle visits the cow.[(((triple1) -> rule8) OR ((((triple3) -> rule1)) -> rule8))] The bear is green.[(((triple6) -> rule1))] The cow is red.[(((triple7) -> rule7) OR ((((((triple9) -> rule8)) -> rule4)) -> rule7))] The cow visits the cow.[(((triple9) -> rule8))] @2: The bald eagle eats the bald eagle.[(((((triple1) -> rule8)) -> rule4) OR ((((((triple3) -> rule1)) -> rule8)) -> rule4))] The bear visits the cow.[(((((triple6) -> rule1)) -> rule8))] @3: The bald eagle is red.[(((((((triple1) -> rule8)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule4)) -> rule7))] The bear eats the bald eagle.[(((((((triple6) -> rule1)) -> rule8)) -> rule4))] @4: The bald eagle is kind.[(((((((((triple1) -> rule8)) -> rule4)) -> rule7)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule8)) -> rule4)) -> rule7)) -> rule3))] The bear is red.[(((((((((triple6) -> rule1)) -> rule8)) -> rule4)) -> rule7))] @5: The bear is kind.[(((((((((((triple6) -> rule1)) -> rule8)) -> rule4)) -> rule7)) -> rule3))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
((triple3) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple3
The bear eats the cow.
("bear" "eats" "cow" "+")
triple4
The bear is blue.
("bear" "is" "blue" "+")
triple5
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple6
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple7
((((triple9) -> (rule8 % int2))) -> (rule4 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple8
The cow is green.
("cow" "is" "green" "+")
triple9
The cow is kind.
("cow" "is" "kind" "+")
triple10
((((triple7) -> (rule7 % int2))) -> (rule3 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
((((((((triple9) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple11
The cow likes the bear.
("cow" "likes" "bear" "+")
triple12
The cow visits the bear.
("cow" "visits" "bear" "+")
triple13
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple14
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
((triple1) -> (rule8 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bear is green.
("bear" "is" "green" "+")
((triple6) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cow is red.
("cow" "is" "red" "+")
((triple7) -> (rule7 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((((triple9) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple9) -> (rule8 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bear visits the cow.
("bear" "visits" "cow" "+")
((((triple6) -> (rule1 % int2))) -> (rule8 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((((((triple6) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((((((triple1) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int4
((((((((((triple3) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int4
The bald eagle is green.
("bald eagle" "is" "green" "+")
int5
The bear is red.
("bear" "is" "red" "+")
((((((((triple6) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bear is kind.
("bear" "is" "kind" "+")
((((((((((triple6) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
The bear visits the cow.
("bear" "visits" "cow" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5