The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is round. The rabbit likes the squirrel. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel is cold. The squirrel is kind. The squirrel likes the rabbit. If something needs the squirrel then the squirrel needs the rabbit. If the rabbit is cold then the rabbit is round. If something visits the rabbit and the rabbit needs the squirrel then the rabbit likes the squirrel. If something visits the rabbit then it is round. If something needs the rabbit and the rabbit is cold then it is big. If something is big and kind then it visits the squirrel. If something visits the rabbit then it is round. If the rabbit is kind and the rabbit visits the squirrel then the squirrel likes the rabbit.
The rabbit is not blue.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is round.[(triple4 OR ((triple3) -> rule2))] The rabbit likes the squirrel.[(triple5)] The rabbit needs the squirrel.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is kind.[(triple9)] The squirrel likes the rabbit.[(triple10)] @1: The squirrel needs the rabbit.[(((triple6) -> rule1))] @2: The squirrel is big.[(((((triple6) -> rule1) triple3) -> rule5))] @3: The squirrel visits the squirrel.[(((((((triple6) -> rule1) triple3) -> rule5) triple9) -> rule6))]