The bald eagle chases the mouse. The bald eagle needs the lion. The bald eagle needs the mouse. The cow chases the lion. The cow chases the mouse. The cow eats the lion. The cow is red. The cow is rough. The lion eats the bald eagle. The lion is cold. The lion needs the mouse. The mouse eats the bald eagle. The mouse is nice. The mouse is red. The mouse is rough. The mouse needs the cow. All red, green things are nice. If something is cold then it chases the mouse. If something eats the lion then it eats the mouse. Green things are cold. If something is rough and it eats the mouse then the mouse is green. If something chases the lion then the lion chases the bald eagle. If something chases the lion then the lion is nice. If something chases the mouse and it needs the cow then the cow needs the bald eagle. If the lion needs the cow then the lion eats the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
All red, green things are nice.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something is cold then it chases the mouse.
((("something" "is" "cold" "+")) -> ("something" "chases" "mouse" "+"))
If something eats the lion then it eats the mouse.
((("something" "eats" "lion" "+")) -> ("something" "eats" "mouse" "+"))
Green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If something is rough and it eats the mouse then the mouse is green.
((("something" "is" "rough" "+") ("something" "eats" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If something chases the lion then the lion chases the bald eagle.
((("something" "chases" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
If something chases the lion then the lion is nice.
((("something" "chases" "lion" "+")) -> ("lion" "is" "nice" "+"))
If something chases the mouse and it needs the cow then the cow needs the bald eagle.
((("something" "chases" "mouse" "+") ("something" "needs" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
If the lion needs the cow then the lion eats the mouse.
((("lion" "needs" "cow" "+")) -> ("lion" "eats" "mouse" "+"))
The cow is rough.
True
1
proof
[(triple8)]
("cow" "is" "rough" "+")
triple8
The lion is not cold.
False
1
inv-proof
[(triple10)]
("lion" "is" "cold" "-")
triple10
The cow eats the mouse.
True
2
proof
[(((triple6) -> rule3))]
("cow" "eats" "mouse" "+")
((triple6) -> (rule3 % int1))
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int1
The lion does not chase the bald eagle.
False
2
inv-proof
[(((triple4) -> rule6))]
("lion" "chases" "bald eagle" "-")
((triple4) -> (rule6 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The mouse is green.
True
4
proof
[(((triple8 ((triple6) -> rule3)) -> rule5))]
("mouse" "is" "green" "+")
((triple8 ((triple6) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
The mouse is not green.
False
4
inv-proof
[(((triple8 ((triple6) -> rule3)) -> rule5))]
("mouse" "is" "green" "-")
((triple8 ((triple6) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
The mouse is cold.
True
5
proof
[(((((triple8 ((triple6) -> rule3)) -> rule5)) -> rule4))]
("mouse" "is" "cold" "+")
((((triple8 ((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The mouse is not cold.
False
5
inv-proof
[(((((triple8 ((triple6) -> rule3)) -> rule5)) -> rule4))]
("mouse" "is" "cold" "-")
((((triple8 ((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The mouse chases the mouse.
True
6
proof
[(((((((triple8 ((triple6) -> rule3)) -> rule5)) -> rule4)) -> rule2))]
("mouse" "chases" "mouse" "+")
((((((triple8 ((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
The mouse does not chase the mouse.
False
6
inv-proof
[(((((((triple8 ((triple6) -> rule3)) -> rule5)) -> rule4)) -> rule2))]
("mouse" "chases" "mouse" "-")
((((((triple8 ((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
The cow needs the bald eagle.
True
8
proof
[(((((((((triple8 ((triple6) -> rule3)) -> rule5)) -> rule4)) -> rule2) triple16) -> rule8))]
("cow" "needs" "bald eagle" "+")
((((((((triple8 ((triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple16) -> (rule8 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is green.
("mouse" "is" "green" "+")
int4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int5
The cow does not need the bald eagle.
False
8
inv-proof
[(((((((((triple8 ((triple6) -> rule3)) -> rule5)) -> rule4)) -> rule2) triple16) -> rule8))]
("cow" "needs" "bald eagle" "-")
((((((((triple8 ((triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple16) -> (rule8 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is green.
("mouse" "is" "green" "+")
int4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int5
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "cold" "-")
The bald eagle eats the mouse.
Unknown
rconc
[@1: The bald eagle eats the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "mouse" "+")
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The lion does not eat the mouse.
Unknown
inv-rconc
[@1: The lion eats the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "mouse" "-")
The cow is nice.
Unknown
rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The mouse needs the lion.
Unknown
random
[@0: The mouse needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "lion" "+")
The bald eagle does not chase the cow.
Unknown
inv-random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "-")
The lion eats the cow.
Unknown
random
[@0: The lion eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "cow" "+")
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 bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle needs the mouse.[(triple3)] The cow chases the lion.[(triple4)] The cow chases the mouse.[(triple5)] The cow eats the lion.[(triple6)] The cow is red.[(triple7)] The cow is rough.[(triple8)] The lion eats the bald eagle.[(triple9)] The lion is cold.[(triple10)] The lion needs the mouse.[(triple11)] The mouse eats the bald eagle.[(triple12)] The mouse is nice.[(triple13 OR ((triple14 ((triple8 ((triple6) -> rule3)) -> rule5)) -> rule1))] The mouse is red.[(triple14)] The mouse is rough.[(triple15)] The mouse needs the cow.[(triple16)] @1: The cow eats the mouse.[(((triple6) -> rule3))] The lion chases the bald eagle.[(((triple4) -> rule6))] The lion chases the mouse.[(((triple10) -> rule2))] The lion is nice.[(((triple4) -> rule7))] @2: The mouse is green.[(((triple8 ((triple6) -> rule3)) -> rule5))] @3: The mouse is cold.[(((((triple8 ((triple6) -> rule3)) -> rule5)) -> rule4))] @4: The mouse chases the mouse.[(((((((triple8 ((triple6) -> rule3)) -> rule5)) -> rule4)) -> rule2))] @5: The cow needs the bald eagle.[(((((((((triple8 ((triple6) -> rule3)) -> rule5)) -> rule4)) -> rule2) triple16) -> rule8))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The cow chases the lion.
("cow" "chases" "lion" "+")
triple4
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple5
The cow eats the lion.
("cow" "eats" "lion" "+")
triple6
The cow is red.
("cow" "is" "red" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple9
The lion is cold.
("lion" "is" "cold" "+")
triple10
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple11
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple12
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
((triple14 ((triple8 ((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
triple14
The mouse is rough.
("mouse" "is" "rough" "+")
triple15
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple16
The cow eats the mouse.
("cow" "eats" "mouse" "+")
((triple6) -> (rule3 % int1))
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion chases the mouse.
("lion" "chases" "mouse" "+")
((triple10) -> (rule2 % int1))
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((triple4) -> (rule7 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((triple8 ((triple6) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
((((triple8 ((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((((triple8 ((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((((((((triple8 ((triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple16) -> (rule8 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is green.
("mouse" "is" "green" "+")
int4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int5