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