The cow is kind. The cow likes the squirrel. The cow sees the squirrel. The rabbit chases the cow. The rabbit sees the tiger. The squirrel likes the rabbit. The tiger chases the rabbit. If the cow is kind then the cow is green.
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
If the cow is kind then the cow is green.
((("cow" "is" "kind" "+")) -> ("cow" "is" "green" "+"))
The squirrel likes the rabbit.
True
1
proof
[(triple6)]
("squirrel" "likes" "rabbit" "+")
triple6
The rabbit does not see the tiger.
False
1
inv-proof
[(triple5)]
("rabbit" "sees" "tiger" "-")
triple5
The cow is green.
True
2
proof
[(((triple1) -> rule1))]
("cow" "is" "green" "+")
((triple1) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "is" "green" "-")
((triple1) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The rabbit does not chase the tiger.
Unknown
inv-random
[@0: The rabbit chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "tiger" "-")
The squirrel chases the rabbit.
Unknown
random
[@0: The squirrel chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "rabbit" "+")
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 sees the tiger.
Unknown
random
[@0: The squirrel sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "tiger" "+")
@0: The cow is kind.[(triple1)] The cow likes the squirrel.[(triple2)] The cow sees the squirrel.[(triple3)] The rabbit chases the cow.[(triple4)] The rabbit sees the tiger.[(triple5)] The squirrel likes the rabbit.[(triple6)] The tiger chases the rabbit.[(triple7)] @1: The cow is green.[(((triple1) -> rule1))]
The cow is kind.
("cow" "is" "kind" "+")
triple1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple2
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple3
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple4
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple5
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple6
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple7
The cow is green.
("cow" "is" "green" "+")
((triple1) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1