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