The lion eats the squirrel. The lion likes the mouse. The lion likes the squirrel. The lion sees the mouse. The lion sees the squirrel. The mouse is nice. The mouse sees the squirrel. The rabbit is not kind. The rabbit likes the squirrel. The rabbit sees the squirrel. The squirrel eats the lion. The squirrel is not kind. The squirrel is nice. The squirrel is young. The squirrel does not see the lion. The squirrel sees the rabbit. If something likes the squirrel then the squirrel does not eat the mouse.
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not see the lion.
("squirrel" "sees" "lion" "-")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If something likes the squirrel then the squirrel does not eat the mouse.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "eats" "mouse" "-"))
The mouse sees the squirrel.
True
1
proof
[(triple7)]
("mouse" "sees" "squirrel" "+")
triple7
The lion does not see the squirrel.
False
1
inv-proof
[(triple5)]
("lion" "sees" "squirrel" "-")
triple5
The squirrel does not eat the mouse.
True
2
proof
[(((triple3) -> rule1) OR ((triple9) -> rule1))]
("squirrel" "eats" "mouse" "-")
((triple3) -> (rule1 % int1))
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
int1
((triple9) -> (rule1 % int1))
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
int1
The squirrel eats the mouse.
False
2
inv-proof
[(((triple3) -> rule1) OR ((triple9) -> rule1))]
("squirrel" "eats" "mouse" "+")
((triple3) -> (rule1 % int1))
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
int1
((triple9) -> (rule1 % int1))
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
int1
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The rabbit likes the mouse.
Unknown
random
[@0: The rabbit likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "mouse" "+")
@0: The lion eats the squirrel.[(triple1)] The lion likes the mouse.[(triple2)] The lion likes the squirrel.[(triple3)] The lion sees the mouse.[(triple4)] The lion sees the squirrel.[(triple5)] The mouse is nice.[(triple6)] The mouse sees the squirrel.[(triple7)] The rabbit is not kind.[(triple8)] The rabbit likes the squirrel.[(triple9)] The rabbit sees the squirrel.[(triple10)] The squirrel does not see the lion.[(triple15)] The squirrel eats the lion.[(triple11)] The squirrel is nice.[(triple13)] The squirrel is not kind.[(triple12)] The squirrel is young.[(triple14)] The squirrel sees the rabbit.[(triple16)] @1: The squirrel does not eat the mouse.[(((triple3) -> rule1) OR ((triple9) -> rule1))]
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple4
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple7
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple8
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple9
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple10
The squirrel does not see the lion.
("squirrel" "sees" "lion" "-")
triple15
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple16
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
((triple3) -> (rule1 % int1))
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
int1
((triple9) -> (rule1 % int1))
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
int1