The cat eats the lion. The cat is not round. The lion does not chase the cat. The lion eats the cat. The lion is kind. The lion is rough. The lion needs the cat. If someone is big and rough then they need the lion. If someone eats the cat then the cat is rough. If someone needs the cat then they are cold. If the lion is rough then the lion needs the cat. If someone eats the lion then they are not kind. If someone eats the lion then the lion does not chase the cat.
The lion eats the cat.
@0: The cat eats the lion.[(triple1)] The cat is not round.[(triple2)] The lion does not chase the cat.[(triple3 OR ((triple1) -> rule6))] The lion eats the cat.[(triple4)] The lion is kind.[(triple5)] The lion is rough.[(triple6)] The lion needs the cat.[(triple7 OR ((triple6) -> rule4))] @1: The cat is not kind.[(((triple1) -> rule5))] The cat is rough.[(((triple4) -> rule2))] The lion is cold.[(((triple7) -> rule3) OR ((((triple6) -> rule4)) -> rule3))]