The lion is big. The lion is blue. The lion is green. The lion is kind. The lion is young. If someone is big then they are green. If someone is big and not young then they are not green. If the lion is blue then the lion is green. If the lion is kind and the lion is young then the lion is green. All kind people are big. All young people are big. If the lion is green then the lion is blue. If someone is young and big then they are blue.
The lion visits the lion.
@0: The lion is big.[(triple1 OR ((triple4) -> rule5) OR ((triple5) -> rule6))] The lion is blue.[(triple2 OR ((triple3) -> rule7) OR ((triple5 triple1) -> rule8) OR ((((triple1) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule4)) -> rule7) OR ((triple5 ((triple4) -> rule5)) -> rule8) OR ((triple5 ((triple5) -> rule6)) -> rule8) OR ((((((triple4) -> rule5)) -> rule1)) -> rule7) OR ((((((triple5) -> rule6)) -> rule1)) -> rule7))] The lion is green.[(triple3 OR ((triple1) -> rule1) OR ((triple2) -> rule3) OR ((triple4 triple5) -> rule4) OR ((((triple4) -> rule5)) -> rule1) OR ((((triple5) -> rule6)) -> rule1) OR ((((triple5 triple1) -> rule8)) -> rule3) OR ((((triple5 ((triple4) -> rule5)) -> rule8)) -> rule3) OR ((((triple5 ((triple5) -> rule6)) -> rule8)) -> rule3))] The lion is kind.[(triple4)] The lion is young.[(triple5)]