The cat is not green. The cat is rough. The cat likes the lion. The cat needs the lion. The lion is big. The lion is green. The lion is not red. The lion likes the cat. The lion needs the cat. The lion sees the cat. If the lion is rough and the lion sees the cat then the cat needs the lion. If something is rough and not big then it likes the lion. If something likes the lion then the lion is rough.
The lion does not like the lion.
@0: The cat is not green.[(triple1)] The cat is rough.[(triple2)] The cat likes the lion.[(triple3)] The cat needs the lion.[(triple4 OR ((((triple3) -> rule3) triple10) -> rule1))] The lion is big.[(triple5)] The lion is green.[(triple6)] The lion is not red.[(triple7)] The lion likes the cat.[(triple8)] The lion needs the cat.[(triple9)] The lion sees the cat.[(triple10)] @1: The lion is rough.[(((triple3) -> rule3))]