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