The dog is big. The dog is nice. The dog needs the rabbit. The dog sees the lion. The dog visits the lion. The lion is big. The lion is young. The lion needs the rabbit. The lion sees the dog. The lion sees the rabbit. The rabbit is red. The rabbit is young. The rabbit needs the dog. The rabbit sees the lion. The rabbit visits the dog. If someone sees the rabbit then they are red. If someone is nice then they see the rabbit.
The dog is red.
@0: The dog is big.[(triple1)] The dog is nice.[(triple2)] The dog needs the rabbit.[(triple3)] The dog sees the lion.[(triple4)] The dog visits the lion.[(triple5)] The lion is big.[(triple6)] The lion is young.[(triple7)] The lion needs the rabbit.[(triple8)] The lion sees the dog.[(triple9)] The lion sees the rabbit.[(triple10)] The rabbit is red.[(triple11)] The rabbit is young.[(triple12)] The rabbit needs the dog.[(triple13)] The rabbit sees the lion.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The dog sees the rabbit.[(((triple2) -> rule2))] The lion is red.[(((triple10) -> rule1))] @2: The dog is red.[(((((triple2) -> rule2)) -> rule1))]