The dog is cold. The dog is not nice. The dog is round. The dog sees the lion. The dog visits the lion. The lion is blue. The lion is cold. The lion is round. The lion is young. The lion likes the dog. The lion sees the dog. The lion visits the dog. If the lion is round then the lion visits the dog. If someone is nice then they do not like the lion. If someone sees the dog then they are nice.
The lion is nice.
@0: The dog is cold.[(triple1)] The dog is not nice.[(triple2)] The dog is round.[(triple3)] The dog sees the lion.[(triple4)] The dog visits the lion.[(triple5)] The lion is blue.[(triple6)] The lion is cold.[(triple7)] The lion is round.[(triple8)] The lion is young.[(triple9)] The lion likes the dog.[(triple10)] The lion sees the dog.[(triple11)] The lion visits the dog.[(triple12 OR ((triple8) -> rule1))] @1: The lion is nice.[(((triple11) -> rule3))] @2: The lion does not like the lion.[(((((triple11) -> rule3)) -> rule2))]