The lion is big. The lion is not blue. The lion is not nice. The lion is red. The lion is young. If something is nice and young then it is red. All blue things are red. Blue, big things are not red. If the lion is nice then the lion is red. If the lion is red and the lion is not young then the lion is not nice. All young things are not blue. If something is red and not big then it is blue. Big things are not nice.
The lion chases the lion.
@0: The lion is big.[(triple1)] The lion is not blue.[(triple2 OR ((triple5) -> rule6))] The lion is not nice.[(triple3 OR ((triple1) -> rule8))] The lion is red.[(triple4)] The lion is young.[(triple5)]