The lion is kind. The lion is nice. The lion is red. The lion is rough. The lion is young. All rough people are kind. If the lion is young then the lion is nice.
The lion does not visit the lion.
@0: The lion is kind.[(triple1 OR ((triple4) -> rule1))] The lion is nice.[(triple2 OR ((triple5) -> rule2))] The lion is red.[(triple3)] The lion is rough.[(triple4)] The lion is young.[(triple5)]