The bear is cold. The mouse chases the bear. The mouse is cold. The mouse is round. The mouse is young. The mouse likes the bear. The mouse needs the bear. If something likes the bear then the bear needs the mouse. If the mouse chases the bear and the bear chases the mouse then the bear likes the mouse. If something likes the bear then the bear likes the mouse.
The bear is cold.
("bear" "is" "cold" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
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 likes the bear then the bear needs the mouse.
((("something" "likes" "bear" "+")) -> ("bear" "needs" "mouse" "+"))
If the mouse chases the bear and the bear chases the mouse then the bear likes the mouse.
((("mouse" "chases" "bear" "+") ("bear" "chases" "mouse" "+")) -> ("bear" "likes" "mouse" "+"))
If something likes the bear then the bear likes the mouse.
((("something" "likes" "bear" "+")) -> ("bear" "likes" "mouse" "+"))
The bear is cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The bear is not cold.
False
1
inv-proof
[(triple1)]
("bear" "is" "cold" "-")
triple1
The bear needs the mouse.
True
2
proof
[(((triple6) -> rule1))]
("bear" "needs" "mouse" "+")
((triple6) -> (rule1 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear does not like the mouse.
False
2
inv-proof
[(((triple6) -> rule3))]
("bear" "likes" "mouse" "-")
((triple6) -> (rule3 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
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 mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
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 is cold.[(triple1)] The mouse chases the bear.[(triple2)] The mouse is cold.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5)] The mouse likes the bear.[(triple6)] The mouse needs the bear.[(triple7)] @1: The bear likes the mouse.[(((triple6) -> rule3))] The bear needs the mouse.[(((triple6) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse is round.
("mouse" "is" "round" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple6
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple7
The bear likes the mouse.
("bear" "likes" "mouse" "+")
((triple6) -> (rule3 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((triple6) -> (rule1 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1