The cat chases the dog. The cat is big. The cat needs the dog. The cat visits the rabbit. The dog is big. The dog is cold. The dog is round. The dog needs the cat. The dog needs the rabbit. The dog visits the rabbit. The rabbit chases the cat. The rabbit needs the dog. If someone is big then they need the cat. If the cat chases the rabbit then the rabbit chases the dog. If someone needs the cat and they need the dog then they chase the rabbit. Blue, green people are round. If someone needs the dog and the dog is big then they are cold. If someone chases the cat then they are green.
The cat chases the cat.
@0: The cat chases the dog.[(triple1)] The cat is big.[(triple2)] The cat needs the dog.[(triple3)] The cat visits the rabbit.[(triple4)] The dog is big.[(triple5)] The dog is cold.[(triple6)] The dog is round.[(triple7)] The dog needs the cat.[(triple8 OR ((triple5) -> rule1))] The dog needs the rabbit.[(triple9)] The dog visits the rabbit.[(triple10)] The rabbit chases the cat.[(triple11)] The rabbit needs the dog.[(triple12)] @1: The cat is cold.[(((triple3 triple5) -> rule5))] The cat needs the cat.[(((triple2) -> rule1))] The rabbit is cold.[(((triple12 triple5) -> rule5))] The rabbit is green.[(((triple11) -> rule6))] @2: The cat chases the rabbit.[(((((triple2) -> rule1) triple3) -> rule3))] @3: The rabbit chases the dog.[(((((((triple2) -> rule1) triple3) -> rule3)) -> rule2))]