The bear is blue. The bear is nice. The bear is young. The bear visits the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is green. The mouse is red. The mouse is young. The mouse visits the bear. If the bear is blue and the bear visits the mouse then the bear is green. If the bear chases the mouse and the bear visits the mouse then the mouse chases the bear. If the mouse eats the bear then the mouse is blue.
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
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 green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If the bear is blue and the bear visits the mouse then the bear is green.
((("bear" "is" "blue" "+") ("bear" "visits" "mouse" "+")) -> ("bear" "is" "green" "+"))
If the bear chases the mouse and the bear visits the mouse then the mouse chases the bear.
((("bear" "chases" "mouse" "+") ("bear" "visits" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
If the mouse eats the bear then the mouse is blue.
((("mouse" "eats" "bear" "+")) -> ("mouse" "is" "blue" "+"))
The bear visits the mouse.
True
1
proof
[(triple4)]
("bear" "visits" "mouse" "+")
triple4
The bear is not young.
False
1
inv-proof
[(triple3)]
("bear" "is" "young" "-")
triple3
The mouse is blue.
True
2
proof
[(((triple6) -> rule3))]
("mouse" "is" "blue" "+")
((triple6) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The bear is not green.
False
3
inv-proof
[(((triple1 triple4) -> rule1))]
("bear" "is" "green" "-")
((triple1 triple4) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The bear chases the mouse.
Unknown
random
[@0: The bear chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "mouse" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bear is blue.[(triple1)] The bear is nice.[(triple2)] The bear is young.[(triple3)] The bear visits the mouse.[(triple4)] The mouse chases the bear.[(triple5)] The mouse eats the bear.[(triple6)] The mouse is green.[(triple7)] The mouse is red.[(triple8)] The mouse is young.[(triple9)] The mouse visits the bear.[(triple10)] @1: The bear is green.[(((triple1 triple4) -> rule1))] The mouse is blue.[(((triple6) -> rule3))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple5
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple6
The mouse is green.
("mouse" "is" "green" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse is young.
("mouse" "is" "young" "+")
triple9
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple10
The bear is green.
("bear" "is" "green" "+")
((triple1 triple4) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple6) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1