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