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