The dog is cold. The dog is red. The dog likes the lion. The dog sees the lion. The lion is cold. The lion is kind. The lion is young. The lion likes the dog. The lion sees the dog. The lion visits the dog. If someone sees the dog then they are rough. If someone is rough then they like the lion. If someone likes the lion and the lion likes the dog then they visit the lion.
The dog is kind.
@0: The dog is cold.[(triple1)] The dog is red.[(triple2)] The dog likes the lion.[(triple3)] The dog sees the lion.[(triple4)] The lion is cold.[(triple5)] The lion is kind.[(triple6)] The lion is young.[(triple7)] The lion likes the dog.[(triple8)] The lion sees the dog.[(triple9)] The lion visits the dog.[(triple10)] @1: The dog visits the lion.[(((triple3 triple8) -> rule3))] The lion is rough.[(((triple9) -> rule1))] @2: The lion likes the lion.[(((((triple9) -> rule1)) -> rule2))] @3: The lion visits the lion.[(((((((triple9) -> rule1)) -> rule2) triple8) -> rule3))]