The bear chases the cat. The bear is young. The bear likes the dog. The cat is blue. The cat is cold. The cat is round. The cat likes the bear. The cat needs the rabbit. The dog chases the rabbit. The dog is round. The rabbit chases the bear. The rabbit is young. The rabbit likes the bear. The rabbit likes the cat. The rabbit needs the cat. If someone needs the dog then they are red. All round people are red. If someone likes the rabbit then they chase the bear. If someone chases the bear and they are round then the bear needs the rabbit. If someone is red then they chase the dog. If someone chases the cat and the cat likes the dog then they need the dog. If someone is young and they chase the bear then they are round. If the bear is round and the bear chases the rabbit then the bear is red.
The cat chases the bear.
@0: The bear chases the cat.[(triple1)] The bear is young.[(triple2)] The bear likes the dog.[(triple3)] The cat is blue.[(triple4)] The cat is cold.[(triple5)] The cat is round.[(triple6)] The cat likes the bear.[(triple7)] The cat needs the rabbit.[(triple8)] The dog chases the rabbit.[(triple9)] The dog is round.[(triple10)] The rabbit chases the bear.[(triple11)] The rabbit is young.[(triple12)] The rabbit likes the bear.[(triple13)] The rabbit likes the cat.[(triple14)] The rabbit needs the cat.[(triple15)] @1: The cat is red.[(((triple6) -> rule2))] The dog is red.[(((triple10) -> rule2))] The rabbit is round.[(((triple12 triple11) -> rule7))] @2: The bear needs the rabbit.[(((triple11 ((triple12 triple11) -> rule7)) -> rule4))] The cat chases the dog.[(((((triple6) -> rule2)) -> rule5))] The dog chases the dog.[(((((triple10) -> rule2)) -> rule5))] The rabbit is red.[(((((triple12 triple11) -> rule7)) -> rule2))] @3: The rabbit chases the dog.[(((((((triple12 triple11) -> rule7)) -> rule2)) -> rule5))]