The bear chases the mouse. The bear eats the mouse. The bear visits the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is round. The mouse visits the bear. If someone eats the mouse then they chase the bear. If the mouse is round and the mouse eats the bear then the mouse chases the bear. If someone visits the bear then they chase the mouse. If someone visits the mouse and they are round then they eat the bear. If someone visits the bear and they eat the bear then the bear eats the mouse. If someone chases the bear and they visit the mouse then the bear is round. If someone chases the mouse then they are cold. If the bear is not kind and the bear is not round then the bear chases the mouse.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone eats the mouse then they chase the bear.
((("someone" "eats" "mouse" "+")) -> ("someone" "chases" "bear" "+"))
If the mouse is round and the mouse eats the bear then the mouse chases the bear.
((("mouse" "is" "round" "+") ("mouse" "eats" "bear" "+")) -> ("mouse" "chases" "bear" "+"))
If someone visits the bear then they chase the mouse.
((("someone" "visits" "bear" "+")) -> ("someone" "chases" "mouse" "+"))
If someone visits the mouse and they are round then they eat the bear.
((("someone" "visits" "mouse" "+") ("someone" "is" "round" "+")) -> ("someone" "eats" "bear" "+"))
If someone visits the bear and they eat the bear then the bear eats the mouse.
((("someone" "visits" "bear" "+") ("someone" "eats" "bear" "+")) -> ("bear" "eats" "mouse" "+"))
If someone chases the bear and they visit the mouse then the bear is round.
((("someone" "chases" "bear" "+") ("someone" "visits" "mouse" "+")) -> ("bear" "is" "round" "+"))
If someone chases the mouse then they are cold.
((("someone" "chases" "mouse" "+")) -> ("someone" "is" "cold" "+"))
If the bear is not kind and the bear is not round then the bear chases the mouse.
((("bear" "is" "kind" "~") ("bear" "is" "round" "~")) -> ("bear" "chases" "mouse" "+"))
The bear eats the mouse.
True
1
proof
[(triple2 OR ((triple7 triple5) -> rule5))]
("bear" "eats" "mouse" "+")
triple2
((triple7 triple5) -> (rule5 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The mouse does not eat the bear.
False
1
inv-proof
[(triple5)]
("mouse" "eats" "bear" "-")
triple5
The mouse chases the mouse.
True
2
proof
[(((triple7) -> rule3))]
("mouse" "chases" "mouse" "+")
((triple7) -> (rule3 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
2
inv-proof
[(((triple7) -> rule3))]
("mouse" "chases" "mouse" "-")
((triple7) -> (rule3 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is cold.
True
3
proof
[(((((triple7) -> rule3)) -> rule7))]
("mouse" "is" "cold" "+")
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The bear is not round.
False
4
inv-proof
[(((((triple2) -> rule1) triple3) -> rule6) OR ((((((triple7 triple5) -> rule5)) -> rule1) triple3) -> rule6))]
("bear" "is" "round" "-")
((((triple2) -> (rule1 % int2)) triple3) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
((((((triple7 triple5) -> (rule5 % int3))) -> (rule1 % int2)) triple3) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int3
The bear eats the bear.
True
6
proof
[(((triple3 ((((triple2) -> rule1) triple3) -> rule6)) -> rule4) OR ((triple3 ((((((triple7 triple5) -> rule5)) -> rule1) triple3) -> rule6)) -> rule4))]
("bear" "eats" "bear" "+")
((triple3 ((((triple2) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
((triple3 ((((((triple7 triple5) -> (rule5 % int4))) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int4
The bear does not eat the bear.
False
6
inv-proof
[(((triple3 ((((triple2) -> rule1) triple3) -> rule6)) -> rule4) OR ((triple3 ((((((triple7 triple5) -> rule5)) -> rule1) triple3) -> rule6)) -> rule4))]
("bear" "eats" "bear" "-")
((triple3 ((((triple2) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
((triple3 ((((((triple7 triple5) -> (rule5 % int4))) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int4
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The bear chases the mouse.[(triple1)] The bear eats the mouse.[(triple2 OR ((triple7 triple5) -> rule5))] The bear visits the mouse.[(triple3)] The mouse chases the bear.[(triple4 OR ((triple6 triple5) -> rule2))] The mouse eats the bear.[(triple5)] The mouse is round.[(triple6)] The mouse visits the bear.[(triple7)] @1: The bear chases the bear.[(((triple2) -> rule1) OR ((((triple7 triple5) -> rule5)) -> rule1))] The bear is cold.[(((triple1) -> rule7))] The mouse chases the mouse.[(((triple7) -> rule3))] @2: The bear is round.[(((((triple2) -> rule1) triple3) -> rule6) OR ((((((triple7 triple5) -> rule5)) -> rule1) triple3) -> rule6))] The mouse is cold.[(((((triple7) -> rule3)) -> rule7))] @3: The bear eats the bear.[(((triple3 ((((triple2) -> rule1) triple3) -> rule6)) -> rule4) OR ((triple3 ((((((triple7 triple5) -> rule5)) -> rule1) triple3) -> rule6)) -> rule4))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
((triple7 triple5) -> (rule5 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple4
((triple6 triple5) -> (rule2 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple7
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple2) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
((((triple7 triple5) -> (rule5 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((triple1) -> (rule7 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple7) -> (rule3 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((((triple2) -> (rule1 % int2)) triple3) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
((((((triple7 triple5) -> (rule5 % int3))) -> (rule1 % int2)) triple3) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple3 ((((triple2) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
((triple3 ((((((triple7 triple5) -> (rule5 % int4))) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int4