The dog chases the rabbit. The dog is rough. The dog needs the rabbit. The rabbit chases the dog. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit needs the dog. The rabbit sees the dog. If the rabbit sees the dog and the rabbit is rough then the rabbit is cold. If someone needs the dog then the dog is rough. If someone sees the rabbit and the rabbit is round then they are red. If someone needs the rabbit then the rabbit is red. If someone is red then they are round. If someone needs the dog then the dog sees the rabbit.
The dog needs the dog.
@0: The dog chases the rabbit.[(triple1)] The dog is rough.[(triple2 OR ((triple9) -> rule2))] The dog needs the rabbit.[(triple3)] The rabbit chases the dog.[(triple4)] The rabbit is cold.[(triple5 OR ((triple10 triple8) -> rule1))] The rabbit is green.[(triple6)] The rabbit is red.[(triple7 OR ((triple3) -> rule4))] The rabbit is rough.[(triple8)] The rabbit needs the dog.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The dog sees the rabbit.[(((triple9) -> rule6))] The rabbit is round.[(((triple7) -> rule5) OR ((((triple3) -> rule4)) -> rule5))] @2: The dog is red.[(((((triple9) -> rule6) ((triple7) -> rule5)) -> rule3) OR ((((triple9) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule3))] @3: The dog is round.[(((((((triple9) -> rule6) ((triple7) -> rule5)) -> rule3)) -> rule5) OR ((((((triple9) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule3)) -> rule5))]