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