The lion is big. The lion is blue. The lion is not kind. The lion is red. The lion is round. Round people are big. All big, red people are blue. If someone is red then they are blue. All kind, big people are red. If someone is round and not big then they are not kind. If the lion is not kind then the lion is blue.
The lion does not visit the lion.
@0: The lion is big.[(triple1 OR ((triple5) -> rule1))] The lion is blue.[(triple2 OR ((triple3) -> rule6) OR ((triple4) -> rule3) OR ((triple1 triple4) -> rule2) OR ((((triple5) -> rule1) triple4) -> rule2))] The lion is not kind.[(triple3)] The lion is red.[(triple4)] The lion is round.[(triple5)]