The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is blue. The rabbit is rough. The rabbit sees the squirrel. The squirrel is blue. The squirrel is green. If something sees the rabbit then the rabbit chases the squirrel. If something is nice then it is green. If something sees the rabbit then the rabbit eats the squirrel. If something sees the rabbit then it sees the squirrel. If something sees the rabbit then it chases the squirrel. If something chases the rabbit and the rabbit is nice then the rabbit eats the squirrel.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If something sees the rabbit then the rabbit chases the squirrel.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "chases" "squirrel" "+"))
If something is nice then it is green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something sees the rabbit then the rabbit eats the squirrel.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something sees the rabbit then it sees the squirrel.
((("something" "sees" "rabbit" "+")) -> ("something" "sees" "squirrel" "+"))
If something sees the rabbit then it chases the squirrel.
((("something" "sees" "rabbit" "+")) -> ("something" "chases" "squirrel" "+"))
If something chases the rabbit and the rabbit is nice then the rabbit eats the squirrel.
((("something" "chases" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("rabbit" "eats" "squirrel" "+"))
The squirrel is green.
True
1
proof
[(triple7)]
("squirrel" "is" "green" "+")
triple7
The rabbit does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("rabbit" "eats" "squirrel" "-")
triple2
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is rough.[(triple4)] The rabbit sees the squirrel.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is green.[(triple7)]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is green.
("squirrel" "is" "green" "+")
triple7