The tiger is blue. The tiger is kind. The tiger is not nice. The tiger is not rough. The tiger is young. Nice things are kind. If the tiger is nice and the tiger is not rough then the tiger is not young. All young things are blue. All nice, rough things are blue. If something is blue and not kind then it is young. All nice things are not young.
The tiger chases the tiger.
@0: The tiger is blue.[(triple1 OR ((triple5) -> rule3))] The tiger is kind.[(triple2)] The tiger is not nice.[(triple3)] The tiger is not rough.[(triple4)] The tiger is young.[(triple5)]