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