The lion eats the rabbit. The lion needs the rabbit. The lion sees the rabbit. The rabbit eats the lion. The rabbit is rough. The rabbit is young. The rabbit sees the lion. If something is kind and it needs the rabbit then it is young. If something sees the lion then the lion is cold. All rough things are kind. If something sees the rabbit and it is cold then it is kind. If something sees the lion then the lion needs the rabbit. If something eats the lion then it is cold. If something eats the lion and it sees the rabbit then it needs the rabbit. If the lion is young then the lion needs the rabbit.
The rabbit does not need the rabbit.
@0: The lion eats the rabbit.[(triple1)] The lion needs the rabbit.[(triple2 OR ((triple7) -> rule5))] The lion sees the rabbit.[(triple3)] The rabbit eats the lion.[(triple4)] The rabbit is rough.[(triple5)] The rabbit is young.[(triple6)] The rabbit sees the lion.[(triple7)] @1: The lion is cold.[(((triple7) -> rule2))] The rabbit is cold.[(((triple4) -> rule6))] The rabbit is kind.[(((triple5) -> rule3))] @2: The lion is kind.[(((triple3 ((triple7) -> rule2)) -> rule4))] @3: The lion is young.[(((((triple3 ((triple7) -> rule2)) -> rule4) triple2) -> rule1) OR ((((triple3 ((triple7) -> rule2)) -> rule4) ((triple7) -> rule5)) -> rule1))]