The bear is green. The bear is kind. The bear is nice. The bear is red. The bear is round. The bear needs the mouse. The bear sees the mouse. The bear visits the mouse. The mouse is nice. The mouse is red. The mouse needs the bear. The mouse sees the bear. If something needs the mouse and it is green then it sees the mouse. If something visits the bear then the bear sees the mouse.
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If something needs the mouse and it is green then it sees the mouse.
((("something" "needs" "mouse" "+") ("something" "is" "green" "+")) -> ("something" "sees" "mouse" "+"))
If something visits the bear then the bear sees the mouse.
((("something" "visits" "bear" "+")) -> ("bear" "sees" "mouse" "+"))
The mouse sees the bear.
True
1
proof
[(triple12)]
("mouse" "sees" "bear" "+")
triple12
The bear does not see the mouse.
False
1
inv-proof
[(triple7 OR ((triple6 triple1) -> rule1))]
("bear" "sees" "mouse" "-")
triple7
((triple6 triple1) -> (rule1 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear needs the mouse.[(triple6)] The bear sees the mouse.[(triple7 OR ((triple6 triple1) -> rule1))] The bear visits the mouse.[(triple8)] The mouse is nice.[(triple9)] The mouse is red.[(triple10)] The mouse needs the bear.[(triple11)] The mouse sees the bear.[(triple12)]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple6
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple7
((triple6 triple1) -> (rule1 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple10
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple11
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple12