The lion is big. The lion is not kind. The lion is nice. The lion is round. The lion is young. If something is young and round then it is big. If something is kind and nice then it is not big. Round things are young. If something is young then it is nice. Nice, round things are not kind. If something is young then it is not kind.
The lion needs the lion.
@0: The lion is big.[(triple1 OR ((triple5 triple4) -> rule1) OR ((((triple4) -> rule3) triple4) -> rule1))] The lion is nice.[(triple3 OR ((triple5) -> rule4) OR ((((triple4) -> rule3)) -> rule4))] The lion is not kind.[(triple2 OR ((triple5) -> rule6) OR ((triple3 triple4) -> rule5) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple5) -> rule4) triple4) -> rule5) OR ((((((triple4) -> rule3)) -> rule4) triple4) -> rule5))] The lion is round.[(triple4)] The lion is young.[(triple5 OR ((triple4) -> rule3))]