The lion is big. The lion is green. The lion is nice. If someone is green then they are red. If someone is green and red then they are blue. If the lion is green and the lion is blue then the lion is big. If the lion is blue then the lion is green. If someone is green then they are red. Blue, big people are red.
The lion does not visit the lion.
@0: The lion is big.[(triple1 OR ((triple2 ((triple2 ((triple2) -> rule1)) -> rule2)) -> rule3) OR ((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule3))] The lion is green.[(triple2)] The lion is nice.[(triple3)] @1: The lion is red.[(((triple2) -> rule1) OR ((triple2) -> rule5))] @2: The lion is blue.[(((triple2 ((triple2) -> rule1)) -> rule2) OR ((triple2 ((triple2) -> rule5)) -> rule2))]