The lion is nice. Green things are blue. All young things are not blue. If the lion is blue and the lion is nice then the lion is not young. If the lion is kind and the lion is young then the lion is nice. All nice things are kind. All blue, kind things are not nice. Young, green things are not nice. If something is nice and kind then it is young.
The lion is young.
@0: The lion is nice.[(triple1)] @1: The lion is kind.[(((triple1) -> rule5))] @2: The lion is young.[(((triple1 ((triple1) -> rule5)) -> rule8))] @3: The lion is not blue.[(((((triple1 ((triple1) -> rule5)) -> rule8)) -> rule2))]