The lion is big. The lion is cold. The lion is kind. The lion is red. The lion is rough. All cold, big things are kind. If something is kind and cold then it is big. If something is red then it is rough.
The lion does not visit the lion.
@0: The lion is big.[(triple1 OR ((triple3 triple2) -> rule2))] The lion is cold.[(triple2)] The lion is kind.[(triple3 OR ((triple2 triple1) -> rule1))] The lion is red.[(triple4)] The lion is rough.[(triple5 OR ((triple4) -> rule3))]