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