The cat eats the lion. The cat is big. The cat needs the lion. The lion eats the cat. The lion is rough. The lion likes the cat. The lion needs the cat. If something is big then it likes the cat. All round things are red. Big things are round. If something is round and it needs the cat then it likes the cat. If something is rough then it likes the lion. If something needs the cat and the cat is round then it eats the cat. If the cat needs the lion and the lion needs the cat then the lion is young. If the cat eats the lion then the lion is big.
The cat eats the lion.
@0: The cat eats the lion.[(triple1)] The cat is big.[(triple2)] The cat needs the lion.[(triple3)] The lion eats the cat.[(triple4 OR ((triple7 ((triple2) -> rule3)) -> rule6))] The lion is rough.[(triple5)] The lion likes the cat.[(triple6 OR ((((triple1) -> rule8)) -> rule1) OR ((((((triple1) -> rule8)) -> rule3) triple7) -> rule4))] The lion needs the cat.[(triple7)] @1: The cat is round.[(((triple2) -> rule3))] The cat likes the cat.[(((triple2) -> rule1))] The lion is big.[(((triple1) -> rule8))] The lion is young.[(((triple3 triple7) -> rule7))] The lion likes the lion.[(((triple5) -> rule5))] @2: The cat is red.[(((((triple2) -> rule3)) -> rule2))] The lion is round.[(((((triple1) -> rule8)) -> rule3))] @3: The lion is red.[(((((((triple1) -> rule8)) -> rule3)) -> rule2))]