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