The cat chases the rabbit. The cat is kind. The cat is round. The cat sees the dog. The dog chases the squirrel. The rabbit chases the cat. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit sees the cat. The squirrel chases the dog. The squirrel chases the rabbit. The squirrel is rough. The squirrel is round. The squirrel needs the cat. The squirrel needs the rabbit. If something is round and it needs the rabbit then it needs the squirrel. If something needs the rabbit then the rabbit is kind. If the rabbit chases the cat and the cat chases the squirrel then the cat sees the rabbit. If something sees the cat then the cat is kind. If the cat chases the squirrel and the squirrel chases the dog then the cat needs the rabbit. If the cat chases the rabbit then the cat chases the squirrel.
The rabbit is kind.
@0: The cat chases the rabbit.[(triple1)] The cat is kind.[(triple2 OR ((triple10) -> rule4))] The cat is round.[(triple3)] The cat sees the dog.[(triple4)] The dog chases the squirrel.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit is kind.[(triple7 OR ((triple16) -> rule2) OR ((((((triple1) -> rule6) triple11) -> rule5)) -> rule2))] The rabbit is red.[(triple8)] The rabbit is rough.[(triple9)] The rabbit sees the cat.[(triple10)] The squirrel chases the dog.[(triple11)] The squirrel chases the rabbit.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel needs the cat.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The cat chases the squirrel.[(((triple1) -> rule6))] The squirrel needs the squirrel.[(((triple14 triple16) -> rule1))] @2: The cat needs the rabbit.[(((((triple1) -> rule6) triple11) -> rule5))] The cat sees the rabbit.[(((triple6 ((triple1) -> rule6)) -> rule3))] @3: The cat needs the squirrel.[(((triple3 ((((triple1) -> rule6) triple11) -> rule5)) -> rule1))]