The cat is big. The cat is nice. The cat is rough. The cat is round. The cat is young. The cat needs the lion. The cat does not see the lion. The cat visits the lion. The lion is big. The lion is nice. The lion is not rough. The lion is round. The lion is young. The lion needs the cat. The lion sees the cat. The lion visits the cat. If something visits the lion and the lion is nice then the lion is not rough. If something is nice and it sees the lion then the lion is not big. If something visits the lion then the lion is big.
The cat visits the cat.
@0: The cat does not see the lion.[(triple7)] The cat is big.[(triple1)] The cat is nice.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The cat needs the lion.[(triple6)] The cat visits the lion.[(triple8)] The lion is big.[(triple9 OR ((triple8) -> rule3))] The lion is nice.[(triple10)] The lion is not rough.[(triple11 OR ((triple8 triple10) -> rule1))] The lion is round.[(triple12)] The lion is young.[(triple13)] The lion needs the cat.[(triple14)] The lion sees the cat.[(triple15)] The lion visits the cat.[(triple16)]