The bear chases the cow. The bear is big. The bear visits the cow. The bear visits the mouse. The cow is cold. The cow is nice. The cow needs the bear. The cow needs the lion. The cow needs the mouse. The cow visits the bear. The lion is rough. The lion needs the cow. The lion needs the mouse. The mouse chases the lion. The mouse needs the cow. The mouse needs the lion. If the lion needs the bear then the bear visits the lion. If someone visits the lion then they chase the cow. If someone is rough then they are nice. If someone visits the lion and they chase the mouse then they chase the cow. If someone chases the bear then they need the bear. Big people are rough. If someone is cold and they chase the bear then the bear chases the cow. If someone is nice then they chase the bear. If someone visits the lion then they chase the mouse.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If the lion needs the bear then the bear visits the lion.
((("lion" "needs" "bear" "+")) -> ("bear" "visits" "lion" "+"))
If someone visits the lion then they chase the cow.
((("someone" "visits" "lion" "+")) -> ("someone" "chases" "cow" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the lion and they chase the mouse then they chase the cow.
((("someone" "visits" "lion" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "chases" "cow" "+"))
If someone chases the bear then they need the bear.
((("someone" "chases" "bear" "+")) -> ("someone" "needs" "bear" "+"))
Big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and they chase the bear then the bear chases the cow.
((("someone" "is" "cold" "+") ("someone" "chases" "bear" "+")) -> ("bear" "chases" "cow" "+"))
If someone is nice then they chase the bear.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "bear" "+"))
If someone visits the lion then they chase the mouse.
((("someone" "visits" "lion" "+")) -> ("someone" "chases" "mouse" "+"))
The cow visits the bear.
True
1
proof
[(triple10)]
("cow" "visits" "bear" "+")
triple10
The cow does not visit the bear.
False
1
inv-proof
[(triple10)]
("cow" "visits" "bear" "-")
triple10
The lion is nice.
True
2
proof
[(((triple11) -> rule3))]
("lion" "is" "nice" "+")
((triple11) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The cow does not chase the bear.
False
2
inv-proof
[(((triple6) -> rule8))]
("cow" "chases" "bear" "-")
((triple6) -> (rule8 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The bear is nice.
True
3
proof
[(((((triple2) -> rule6)) -> rule3))]
("bear" "is" "nice" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The lion does not chase the bear.
False
3
inv-proof
[(((((triple11) -> rule3)) -> rule8))]
("lion" "chases" "bear" "-")
((((triple11) -> (rule3 % int2))) -> (rule8 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion needs the bear.
True
4
proof
[(((((((triple11) -> rule3)) -> rule8)) -> rule5))]
("lion" "needs" "bear" "+")
((((((triple11) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The bear does not chase the bear.
False
4
inv-proof
[(((((((triple2) -> rule6)) -> rule3)) -> rule8))]
("bear" "chases" "bear" "-")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bear needs the bear.
True
5
proof
[(((((((((triple2) -> rule6)) -> rule3)) -> rule8)) -> rule5))]
("bear" "needs" "bear" "+")
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The bear does not need the bear.
False
5
inv-proof
[(((((((((triple2) -> rule6)) -> rule3)) -> rule8)) -> rule5))]
("bear" "needs" "bear" "-")
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The bear chases the mouse.
True
6
proof
[(((((((((((triple11) -> rule3)) -> rule8)) -> rule5)) -> rule1)) -> rule9))]
("bear" "chases" "mouse" "+")
((((((((((triple11) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
int2
The lion needs the bear.
("lion" "needs" "bear" "+")
int3
The lion chases the bear.
("lion" "chases" "bear" "+")
int4
The lion is nice.
("lion" "is" "nice" "+")
int5
The bear does not chase the mouse.
False
6
inv-proof
[(((((((((((triple11) -> rule3)) -> rule8)) -> rule5)) -> rule1)) -> rule9))]
("bear" "chases" "mouse" "-")
((((((((((triple11) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
int2
The lion needs the bear.
("lion" "needs" "bear" "+")
int3
The lion chases the bear.
("lion" "chases" "bear" "+")
int4
The lion is nice.
("lion" "is" "nice" "+")
int5
The lion does not chase the mouse.
Unknown
inv-rconc
[@1: The lion chases the mouse.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("lion" "chases" "mouse" "-")
The mouse chases the bear.
Unknown
rconc
[@3: The mouse chases the bear.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule6 <- FAIL)]]
("mouse" "chases" "bear" "+")
The mouse does not need the bear.
Unknown
inv-rconc
[@4: The mouse needs the bear.[CWA. Example of deepest failure = (rule5 <- rule8 <- rule3 <- rule6 <- FAIL)]]
("mouse" "needs" "bear" "-")
The cow is rough.
Unknown
rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "rough" "+")
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "rough" "-")
The lion chases the cow.
Unknown
rconc
[@1: The lion chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "cow" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
The bear does not chase the lion.
Unknown
inv-random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The cow does not chase the lion.
Unknown
inv-random
[@0: The cow chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "lion" "-")
The lion visits the bear.
Unknown
random
[@0: The lion visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bear" "+")
@0: The bear chases the cow.[(triple1 OR ((triple5 ((triple6) -> rule8)) -> rule7) OR ((((((((((triple11) -> rule3)) -> rule8)) -> rule5)) -> rule1)) -> rule2) OR ((((((((((triple11) -> rule3)) -> rule8)) -> rule5)) -> rule1) ((((((((((triple11) -> rule3)) -> rule8)) -> rule5)) -> rule1)) -> rule9)) -> rule4))] The bear is big.[(triple2)] The bear visits the cow.[(triple3)] The bear visits the mouse.[(triple4)] The cow is cold.[(triple5)] The cow is nice.[(triple6)] The cow needs the bear.[(triple7 OR ((((triple6) -> rule8)) -> rule5))] The cow needs the lion.[(triple8)] The cow needs the mouse.[(triple9)] The cow visits the bear.[(triple10)] The lion is rough.[(triple11)] The lion needs the cow.[(triple12)] The lion needs the mouse.[(triple13)] The mouse chases the lion.[(triple14)] The mouse needs the cow.[(triple15)] The mouse needs the lion.[(triple16)] @1: The bear is rough.[(((triple2) -> rule6))] The cow chases the bear.[(((triple6) -> rule8))] The lion is nice.[(((triple11) -> rule3))] @2: The bear is nice.[(((((triple2) -> rule6)) -> rule3))] The lion chases the bear.[(((((triple11) -> rule3)) -> rule8))] @3: The bear chases the bear.[(((((((triple2) -> rule6)) -> rule3)) -> rule8))] The lion needs the bear.[(((((((triple11) -> rule3)) -> rule8)) -> rule5))] @4: The bear needs the bear.[(((((((((triple2) -> rule6)) -> rule3)) -> rule8)) -> rule5))] The bear visits the lion.[(((((((((triple11) -> rule3)) -> rule8)) -> rule5)) -> rule1))] @5: The bear chases the mouse.[(((((((((((triple11) -> rule3)) -> rule8)) -> rule5)) -> rule1)) -> rule9))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
((triple5 ((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
int2
((((((((((triple11) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
int2
The lion needs the bear.
("lion" "needs" "bear" "+")
int3
The lion chases the bear.
("lion" "chases" "bear" "+")
int4
The lion is nice.
("lion" "is" "nice" "+")
int5
((((((((((triple11) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((((((((triple11) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The bear visits the lion.
("bear" "visits" "lion" "+")
int3
The lion needs the bear.
("lion" "needs" "bear" "+")
int4
The lion chases the bear.
("lion" "chases" "bear" "+")
int5
The lion is nice.
("lion" "is" "nice" "+")
int6
The bear is big.
("bear" "is" "big" "+")
triple2
The bear visits the cow.
("bear" "visits" "cow" "+")
triple3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
The cow needs the bear.
("cow" "needs" "bear" "+")
triple7
((((triple6) -> (rule8 % int2))) -> (rule5 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
int2
The cow needs the lion.
("cow" "needs" "lion" "+")
triple8
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple9
The cow visits the bear.
("cow" "visits" "bear" "+")
triple10
The lion is rough.
("lion" "is" "rough" "+")
triple11
The lion needs the cow.
("lion" "needs" "cow" "+")
triple12
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple13
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple14
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple15
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple16
The bear is rough.
("bear" "is" "rough" "+")
((triple2) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The cow chases the bear.
("cow" "chases" "bear" "+")
((triple6) -> (rule8 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((triple11) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
((((triple11) -> (rule3 % int2))) -> (rule8 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The lion needs the bear.
("lion" "needs" "bear" "+")
((((((triple11) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The bear visits the lion.
("bear" "visits" "lion" "+")
((((((((triple11) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The bear chases the mouse.
("bear" "chases" "mouse" "+")
((((((((((triple11) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
int2
The lion needs the bear.
("lion" "needs" "bear" "+")
int3
The lion chases the bear.
("lion" "chases" "bear" "+")
int4
The lion is nice.
("lion" "is" "nice" "+")
int5