The tiger is blue. The tiger is kind. The tiger is nice. The tiger is not rough. The tiger is young. If something is young and nice then it is kind. Young things are blue. Blue, kind things are nice. If the tiger is blue then the tiger is nice. Kind things are not rough. If something is kind and not blue then it is not rough.
The tiger eats the tiger.
@0: The tiger is blue.[(triple1 OR ((triple5) -> rule2))] The tiger is kind.[(triple2 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple1) -> rule4)) -> rule1) OR ((triple5 ((((triple5) -> rule2)) -> rule4)) -> rule1))] The tiger is nice.[(triple3 OR ((triple1) -> rule4) OR ((triple1 triple2) -> rule3) OR ((((triple5) -> rule2)) -> rule4) OR ((((triple5) -> rule2) triple2) -> rule3))] The tiger is not rough.[(triple4 OR ((triple2) -> rule5) OR ((((triple5 triple3) -> rule1)) -> rule5) OR ((((triple5 ((triple1) -> rule4)) -> rule1)) -> rule5) OR ((((triple5 ((((triple5) -> rule2)) -> rule4)) -> rule1)) -> rule5))] The tiger is young.[(triple5)]