The lion is cold. The lion is kind. The lion is nice. The lion is rough. The lion is young. If someone is kind and nice then they are cold. Rough people are nice.
The lion is rough.
@0: The lion is cold.[(triple1 OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple4) -> rule2)) -> rule1))] The lion is kind.[(triple2)] The lion is nice.[(triple3 OR ((triple4) -> rule2))] The lion is rough.[(triple4)] The lion is young.[(triple5)]