The rabbit chases the squirrel. The rabbit is not blue. The rabbit is cold. The rabbit is kind. The rabbit is rough. The rabbit is young. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is kind. The squirrel needs the rabbit. The squirrel visits the rabbit. If the rabbit is blue and the rabbit visits the squirrel then the squirrel visits the rabbit. If the squirrel needs the rabbit and the squirrel does not chase the rabbit then the squirrel is young. If the squirrel chases the rabbit and the rabbit does not need the squirrel then the rabbit chases the squirrel.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If the rabbit is blue and the rabbit visits the squirrel then the squirrel visits the rabbit.
((("rabbit" "is" "blue" "+") ("rabbit" "visits" "squirrel" "+")) -> ("squirrel" "visits" "rabbit" "+"))
If the squirrel needs the rabbit and the squirrel does not chase the rabbit then the squirrel is young.
((("squirrel" "needs" "rabbit" "+") ("squirrel" "chases" "rabbit" "~")) -> ("squirrel" "is" "young" "+"))
If the squirrel chases the rabbit and the rabbit does not need the squirrel then the rabbit chases the squirrel.
((("squirrel" "chases" "rabbit" "+") ("rabbit" "needs" "squirrel" "~")) -> ("rabbit" "chases" "squirrel" "+"))
The rabbit is young.
True
1
proof
[(triple6)]
("rabbit" "is" "young" "+")
triple6
The squirrel does not need the rabbit.
False
1
inv-proof
[(triple11)]
("squirrel" "needs" "rabbit" "-")
triple11
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is cold.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is not blue.[(triple2)] The rabbit is rough.[(triple5)] The rabbit is young.[(triple6)] The rabbit needs the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel is kind.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel visits the rabbit.[(triple12)]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple2
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple7
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple8
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple11
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple12