The dog is big. The dog is cold. The dog is kind. The dog is round. The dog is young. The dog likes the lion. The dog needs the lion. The dog visits the lion. The lion is big. The lion is cold. The lion is kind. The lion is round. The lion is young. The lion likes the dog. The lion needs the dog. The lion visits the dog. If the dog likes the lion then the dog needs the lion. If someone is big and they like the lion then they are kind. If someone visits the lion and the lion needs the dog then the lion is young.
The lion does not like the dog.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2)] The dog is kind.[(triple3 OR ((triple1 triple6) -> rule2))] The dog is round.[(triple4)] The dog is young.[(triple5)] The dog likes the lion.[(triple6)] The dog needs the lion.[(triple7 OR ((triple6) -> rule1))] The dog visits the lion.[(triple8)] The lion is big.[(triple9)] The lion is cold.[(triple10)] The lion is kind.[(triple11)] The lion is round.[(triple12)] The lion is young.[(triple13 OR ((triple8 triple15) -> rule3))] The lion likes the dog.[(triple14)] The lion needs the dog.[(triple15)] The lion visits the dog.[(triple16)]