The lion is red. Red people are green. If someone is kind then they are green. If the lion is kind then the lion is rough. All red, green people are kind. If the lion is green then the lion is kind. If someone is kind and not nice then they are not rough. If someone is kind and not nice then they are not rough. If someone is green then they are red.
The lion is red.
@0: The lion is red.[(triple1)] @1: The lion is green.[(((triple1) -> rule1))] @2: The lion is kind.[(((((triple1) -> rule1)) -> rule5) OR ((triple1 ((triple1) -> rule1)) -> rule4))] @3: The lion is rough.[(((((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule3))]