The lion is blue. The lion is cold. The lion is nice. The lion is rough. The lion is young. All rough things are blue. Blue things are young. If the lion is nice then the lion is cold. All rough things are blue. If something is cold and blue then it is nice. Nice, young things are blue. Rough things are nice. If something is nice then it is blue.
The lion chases the lion.
@0: The lion is blue.[(triple1 OR ((triple3) -> rule8) OR ((triple4) -> rule1) OR ((triple4) -> rule4) OR ((triple3 triple5) -> rule6) OR ((((triple4) -> rule7)) -> rule8) OR ((((triple4) -> rule7) triple5) -> rule6))] The lion is cold.[(triple2 OR ((triple3) -> rule3) OR ((((triple4) -> rule7)) -> rule3))] The lion is nice.[(triple3 OR ((triple4) -> rule7) OR ((triple2 triple1) -> rule5) OR ((triple2 ((triple4) -> rule1)) -> rule5) OR ((triple2 ((triple4) -> rule4)) -> rule5))] The lion is rough.[(triple4)] The lion is young.[(triple5 OR ((triple1) -> rule2) OR ((((triple3) -> rule8)) -> rule2) OR ((((triple4) -> rule1)) -> rule2) OR ((((triple4) -> rule4)) -> rule2) OR ((((((triple4) -> rule7)) -> rule8)) -> rule2))]