The lion is big. The lion is blue. The lion is kind. The lion is nice. The lion is round. Nice, big people are round. If someone is big and blue then they are nice. If someone is blue and nice then they are big.
The lion likes the lion.
@0: The lion is big.[(triple1 OR ((triple2 triple4) -> rule3))] The lion is blue.[(triple2)] The lion is kind.[(triple3)] The lion is nice.[(triple4 OR ((triple1 triple2) -> rule2))] The lion is round.[(triple5 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple2 triple4) -> rule3)) -> rule1) OR ((((triple1 triple2) -> rule2) triple1) -> rule1) OR ((((triple1 triple2) -> rule2) ((triple2 triple4) -> rule3)) -> rule1))]