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