The dog chases the mouse. The dog chases the squirrel. The dog sees the mouse. The mouse chases the dog. The mouse chases the squirrel. The mouse is green. The mouse is kind. The mouse is round. The mouse sees the dog. The squirrel chases the dog. The squirrel chases the mouse. The squirrel is rough. The squirrel is young. The squirrel likes the dog. The squirrel sees the dog. If something sees the squirrel and the squirrel chases the mouse then the squirrel is green. If something chases the mouse then the mouse sees the squirrel.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something sees the squirrel and the squirrel chases the mouse then the squirrel is green.
((("something" "sees" "squirrel" "+") ("squirrel" "chases" "mouse" "+")) -> ("squirrel" "is" "green" "+"))
If something chases the mouse then the mouse sees the squirrel.
((("something" "chases" "mouse" "+")) -> ("mouse" "sees" "squirrel" "+"))
The mouse chases the dog.
True
1
proof
[(triple4)]
("mouse" "chases" "dog" "+")
triple4
The squirrel is not young.
False
1
inv-proof
[(triple13)]
("squirrel" "is" "young" "-")
triple13
The mouse sees the squirrel.
True
2
proof
[(((triple1) -> rule2) OR ((triple11) -> rule2))]
("mouse" "sees" "squirrel" "+")
((triple1) -> (rule2 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
((triple11) -> (rule2 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The mouse does not see the squirrel.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple11) -> rule2))]
("mouse" "sees" "squirrel" "-")
((triple1) -> (rule2 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
((triple11) -> (rule2 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The squirrel is green.
True
4
proof
[(((((triple1) -> rule2) triple11) -> rule1) OR ((((triple11) -> rule2) triple11) -> rule1))]
("squirrel" "is" "green" "+")
((((triple1) -> (rule2 % int2)) triple11) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int2
((((triple11) -> (rule2 % int2)) triple11) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int2
The squirrel is not green.
False
4
inv-proof
[(((((triple1) -> rule2) triple11) -> rule1) OR ((((triple11) -> rule2) triple11) -> rule1))]
("squirrel" "is" "green" "-")
((((triple1) -> (rule2 % int2)) triple11) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int2
((((triple11) -> (rule2 % int2)) triple11) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int2
The mouse does not like the squirrel.
Unknown
inv-random
[@0: The mouse likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "squirrel" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel likes the mouse.
Unknown
random
[@0: The squirrel likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "mouse" "+")
@0: The dog chases the mouse.[(triple1)] The dog chases the squirrel.[(triple2)] The dog sees the mouse.[(triple3)] The mouse chases the dog.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse is green.[(triple6)] The mouse is kind.[(triple7)] The mouse is round.[(triple8)] The mouse sees the dog.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the dog.[(triple14)] The squirrel sees the dog.[(triple15)] @1: The mouse sees the squirrel.[(((triple1) -> rule2) OR ((triple11) -> rule2))] @2: The squirrel is green.[(((((triple1) -> rule2) triple11) -> rule1) OR ((((triple11) -> rule2) triple11) -> rule1))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple3
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple4
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple5
The mouse is green.
("mouse" "is" "green" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse is round.
("mouse" "is" "round" "+")
triple8
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple9
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple10
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple14
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple15
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
((triple1) -> (rule2 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
((triple11) -> (rule2 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((((triple1) -> (rule2 % int2)) triple11) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int2
((((triple11) -> (rule2 % int2)) triple11) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int2