The lion is blue. The lion is kind. The lion is red. The lion is rough. The lion is round. All rough, kind people are red. If someone is kind then they are red.
The lion is not rough.
@0: The lion is blue.[(triple1)] The lion is kind.[(triple2)] The lion is red.[(triple3 OR ((triple2) -> rule2) OR ((triple4 triple2) -> rule1))] The lion is rough.[(triple4)] The lion is round.[(triple5)]