The cat is rough. The cat visits the tiger. The lion eats the tiger. The lion is nice. The lion is rough. The lion does not need the cat. The lion needs the tiger. The lion visits the cat. The lion visits the tiger. The tiger eats the cat. The tiger eats the lion. The tiger is rough. The tiger does not need the cat. The tiger does not need the lion. The tiger visits the cat. If the lion visits the tiger then the tiger is round. If the lion is rough then the lion eats the tiger. If someone is round and not cold then they visit the tiger. If the cat is cold then the cat does not visit the lion. If someone visits the cat and the cat eats the lion then the lion does not eat the cat. If someone eats the tiger and they do not eat the lion then they do not need the lion.
The lion eats the tiger.
@0: The cat is rough.[(triple1)] The cat visits the tiger.[(triple2)] The lion does not need the cat.[(triple6)] The lion eats the tiger.[(triple3 OR ((triple5) -> rule2))] The lion is nice.[(triple4)] The lion is rough.[(triple5)] The lion needs the tiger.[(triple7)] The lion visits the cat.[(triple8)] The lion visits the tiger.[(triple9)] The tiger does not need the cat.[(triple13)] The tiger does not need the lion.[(triple14)] The tiger eats the cat.[(triple10)] The tiger eats the lion.[(triple11)] The tiger is rough.[(triple12)] The tiger visits the cat.[(triple15)] @1: The tiger is round.[(((triple9) -> rule1))]