The cat is not cold. The cat is not round. The cat needs the lion. The cat needs the tiger. The cat sees the tiger. The cat visits the lion. The lion is not round. The lion needs the cat. The tiger is cold. The tiger needs the lion. The tiger sees the lion. The tiger visits the cat. If the cat visits the lion and the cat is red then the lion sees the tiger. If someone needs the lion then the lion sees the tiger. If someone is round and they see the lion then they do not visit the tiger. If someone visits the cat and the cat is round then they need the tiger. If the cat visits the lion then the lion is not young. If someone needs the cat then the cat visits the lion. If the lion sees the cat then the cat needs the tiger. If someone is young and not kind then they visit the lion.
The cat is not round.
@0: The cat is not cold.[(triple1)] The cat is not round.[(triple2)] The cat needs the lion.[(triple3)] The cat needs the tiger.[(triple4)] The cat sees the tiger.[(triple5)] The cat visits the lion.[(triple6 OR ((triple8) -> rule6))] The lion is not round.[(triple7)] The lion needs the cat.[(triple8)] The tiger is cold.[(triple9)] The tiger needs the lion.[(triple10)] The tiger sees the lion.[(triple11)] The tiger visits the cat.[(triple12)] @1: The lion is not young.[(((triple6) -> rule5) OR ((((triple8) -> rule6)) -> rule5))] The lion sees the tiger.[(((triple10) -> rule2) OR ((triple3) -> rule2))]