The tiger is blue. The tiger is nice. The tiger is not rough. The tiger is round. The tiger is young. Round things are nice. If something is blue and rough then it is nice. If something is blue and not rough then it is nice. Round, rough things are blue. If something is nice then it is blue. All young things are round. Rough, young things are not round. If something is blue and rough then it is young.
The tiger needs the tiger.
@0: The tiger is blue.[(triple1 OR ((triple2) -> rule5) OR ((((triple4) -> rule1)) -> rule5) OR ((((((triple5) -> rule6)) -> rule1)) -> rule5))] The tiger is nice.[(triple2 OR ((triple4) -> rule1) OR ((triple1 triple3) -> rule3) OR ((((triple5) -> rule6)) -> rule1))] The tiger is not rough.[(triple3)] The tiger is round.[(triple4 OR ((triple5) -> rule6))] The tiger is young.[(triple5)]