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