The bear chases the mouse. The bear is green. The bear is kind. The bear is red. The bear is round. The bear is young. The bear likes the mouse. The bear needs the mouse. The mouse chases the bear. The mouse is green. The mouse is red. The mouse is round. The mouse is young. The mouse likes the bear. The mouse needs the bear. If something needs the bear then it is red. If something chases the mouse and it is kind then it needs the bear. If something likes the mouse and it likes the bear then the mouse likes the bear. If something chases the bear then the bear chases the mouse. If something needs the mouse then the mouse is green. If something is kind and it chases the mouse then the mouse needs the bear.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If something needs the bear then it is red.
((("something" "needs" "bear" "+")) -> ("something" "is" "red" "+"))
If something chases the mouse and it is kind then it needs the bear.
((("something" "chases" "mouse" "+") ("something" "is" "kind" "+")) -> ("something" "needs" "bear" "+"))
If something likes the mouse and it likes the bear then the mouse likes the bear.
((("something" "likes" "mouse" "+") ("something" "likes" "bear" "+")) -> ("mouse" "likes" "bear" "+"))
If something chases the bear then the bear chases the mouse.
((("something" "chases" "bear" "+")) -> ("bear" "chases" "mouse" "+"))
If something needs the mouse then the mouse is green.
((("something" "needs" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If something is kind and it chases the mouse then the mouse needs the bear.
((("something" "is" "kind" "+") ("something" "chases" "mouse" "+")) -> ("mouse" "needs" "bear" "+"))
The bear is young.
True
1
proof
[(triple6)]
("bear" "is" "young" "+")
triple6
The mouse does not like the bear.
False
1
inv-proof
[(triple14)]
("mouse" "likes" "bear" "-")
triple14
The bear needs the bear.
True
3
proof
[(((triple1 triple3) -> rule2) OR ((((triple9) -> rule4) triple3) -> rule2))]
("bear" "needs" "bear" "+")
((triple1 triple3) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
((((triple9) -> (rule4 % int2)) triple3) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The bear does not need the bear.
False
3
inv-proof
[(((triple1 triple3) -> rule2) OR ((((triple9) -> rule4) triple3) -> rule2))]
("bear" "needs" "bear" "-")
((triple1 triple3) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
((((triple9) -> (rule4 % int2)) triple3) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bear chases the mouse.[(triple1 OR ((triple9) -> rule4))] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4 OR ((((triple1 triple3) -> rule2)) -> rule1) OR ((((((triple9) -> rule4) triple3) -> rule2)) -> rule1))] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear likes the mouse.[(triple7)] The bear needs the mouse.[(triple8)] The mouse chases the bear.[(triple9)] The mouse is green.[(triple10 OR ((triple8) -> rule5))] The mouse is red.[(triple11 OR ((triple15) -> rule1) OR ((((triple3 triple1) -> rule6)) -> rule1) OR ((((triple3 ((triple9) -> rule4)) -> rule6)) -> rule1))] The mouse is round.[(triple12)] The mouse is young.[(triple13)] The mouse likes the bear.[(triple14)] The mouse needs the bear.[(triple15 OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple9) -> rule4)) -> rule6))] @1: The bear needs the bear.[(((triple1 triple3) -> rule2) OR ((((triple9) -> rule4) triple3) -> rule2))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
((triple9) -> (rule4 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
((((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
((((((triple9) -> (rule4 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int3
The bear is round.
("bear" "is" "round" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple7
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple8
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
((triple8) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
triple11
((triple15) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
((((triple3 triple1) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int2
((((triple3 ((triple9) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int2
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int3
The mouse is round.
("mouse" "is" "round" "+")
triple12
The mouse is young.
("mouse" "is" "young" "+")
triple13
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple14
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple15
((triple3 triple1) -> (rule6 % int1))
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int1
((triple3 ((triple9) -> (rule4 % int2))) -> (rule6 % int1))
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple1 triple3) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
((((triple9) -> (rule4 % int2)) triple3) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2