The cat does not eat the rabbit. The cat is green. The cat is nice. The cat needs the lion. The lion is kind. The rabbit likes the cat. The rabbit needs the lion. If someone likes the rabbit then the rabbit eats the lion. If someone is nice and not kind then they need the lion. If someone likes the cat then the cat likes the rabbit. If someone eats the cat and the cat eats the rabbit then the cat needs the rabbit. If someone eats the lion and they need the lion then the lion is not nice. If someone likes the rabbit and the rabbit does not need the lion then they are rough.
The rabbit eats the lion.
@0: The cat does not eat the rabbit.[(triple1)] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat needs the lion.[(triple4)] The lion is kind.[(triple5)] The rabbit likes the cat.[(triple6)] The rabbit needs the lion.[(triple7)] @1: The cat likes the rabbit.[(((triple6) -> rule3))] @2: The rabbit eats the lion.[(((((triple6) -> rule3)) -> rule1))] @3: The lion is not nice.[(((((((triple6) -> rule3)) -> rule1) triple7) -> rule5))]