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