The bear is kind. The bear likes the mouse. The bear needs the mouse. The bear sees the mouse. The mouse is green. The mouse is kind. The mouse is nice. The mouse is red. The mouse is young. The mouse likes the bear. The mouse needs the bear. The mouse sees the bear. If someone likes the bear then they need the mouse. If the bear is young then the bear sees the mouse. If the mouse is kind and the mouse needs the bear then the bear needs the mouse. If someone sees the mouse then they need the mouse. If someone sees the bear then they like the mouse. If the mouse sees the bear then the bear likes the mouse.
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If someone likes the bear then they need the mouse.
((("someone" "likes" "bear" "+")) -> ("someone" "needs" "mouse" "+"))
If the bear is young then the bear sees the mouse.
((("bear" "is" "young" "+")) -> ("bear" "sees" "mouse" "+"))
If the mouse is kind and the mouse needs the bear then the bear needs the mouse.
((("mouse" "is" "kind" "+") ("mouse" "needs" "bear" "+")) -> ("bear" "needs" "mouse" "+"))
If someone sees the mouse then they need the mouse.
((("someone" "sees" "mouse" "+")) -> ("someone" "needs" "mouse" "+"))
If someone sees the bear then they like the mouse.
((("someone" "sees" "bear" "+")) -> ("someone" "likes" "mouse" "+"))
If the mouse sees the bear then the bear likes the mouse.
((("mouse" "sees" "bear" "+")) -> ("bear" "likes" "mouse" "+"))
The mouse is red.
True
1
proof
[(triple8)]
("mouse" "is" "red" "+")
triple8
The mouse does not need the bear.
False
1
inv-proof
[(triple11)]
("mouse" "needs" "bear" "-")
triple11
The mouse needs the mouse.
True
2
proof
[(((triple10) -> rule1))]
("mouse" "needs" "mouse" "+")
((triple10) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse does not like the mouse.
False
2
inv-proof
[(((triple12) -> rule5))]
("mouse" "likes" "mouse" "-")
((triple12) -> (rule5 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The bear is kind.[(triple1)] The bear likes the mouse.[(triple2 OR ((triple12) -> rule6))] The bear needs the mouse.[(triple3 OR ((triple4) -> rule4) OR ((triple6 triple11) -> rule3))] The bear sees the mouse.[(triple4)] The mouse is green.[(triple5)] The mouse is kind.[(triple6)] The mouse is nice.[(triple7)] The mouse is red.[(triple8)] The mouse is young.[(triple9)] The mouse likes the bear.[(triple10)] The mouse needs the bear.[(triple11)] The mouse sees the bear.[(triple12)] @1: The mouse likes the mouse.[(((triple12) -> rule5))] The mouse needs the mouse.[(((triple10) -> rule1))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple2
((triple12) -> (rule6 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple3
((triple4) -> (rule4 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
((triple6 triple11) -> (rule3 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple4
The mouse is green.
("mouse" "is" "green" "+")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse is young.
("mouse" "is" "young" "+")
triple9
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple10
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple11
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple12
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple12) -> (rule5 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple10) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1