The cow is green. The cow sees the rabbit. The rabbit is green. The rabbit is kind. The rabbit is young. The squirrel is kind. The squirrel sees the rabbit. If the rabbit eats the cow and the cow eats the rabbit then the cow sees the squirrel. If someone is green and they like the rabbit then the rabbit likes the squirrel. If someone is young and they eat the squirrel then they eat the rabbit. If someone likes the rabbit then the rabbit likes the squirrel. If someone eats the rabbit then they are green. If someone is kind then they like the squirrel.
The cow is green.
("cow" "is" "green" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If the rabbit eats the cow and the cow eats the rabbit then the cow sees the squirrel.
((("rabbit" "eats" "cow" "+") ("cow" "eats" "rabbit" "+")) -> ("cow" "sees" "squirrel" "+"))
If someone is green and they like the rabbit then the rabbit likes the squirrel.
((("someone" "is" "green" "+") ("someone" "likes" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "+"))
If someone is young and they eat the squirrel then they eat the rabbit.
((("someone" "is" "young" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone likes the rabbit then the rabbit likes the squirrel.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "+"))
If someone eats the rabbit then they are green.
((("someone" "eats" "rabbit" "+")) -> ("someone" "is" "green" "+"))
If someone is kind then they like the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "squirrel" "+"))
The squirrel sees the rabbit.
True
1
proof
[(triple7)]
("squirrel" "sees" "rabbit" "+")
triple7
The squirrel is not kind.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "kind" "-")
triple6
The squirrel likes the squirrel.
True
2
proof
[(((triple6) -> rule6))]
("squirrel" "likes" "squirrel" "+")
((triple6) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
2
inv-proof
[(((triple6) -> rule6))]
("squirrel" "likes" "squirrel" "-")
((triple6) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The cow does not see the squirrel.
Unknown
inv-rconc
[@1: The cow sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "squirrel" "-")
The squirrel eats the rabbit.
Unknown
rconc
[@1: The squirrel eats the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "rabbit" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The cow is green.[(triple1)] The cow sees the rabbit.[(triple2)] The rabbit is green.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is young.[(triple5)] The squirrel is kind.[(triple6)] The squirrel sees the rabbit.[(triple7)] @1: The rabbit likes the squirrel.[(((triple4) -> rule6))] The squirrel likes the squirrel.[(((triple6) -> rule6))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
((triple4) -> (rule6 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple6) -> (rule6 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1