The tiger is kind. The tiger is not red. The tiger is rough. The tiger is round. The tiger is young. If something is round and not rough then it is young. Kind, red things are not young. Kind, young things are not red. All rough things are not red. If something is red then it is not kind. If something is young then it is round. If something is red and kind then it is not round. If the tiger is round then the tiger is kind.
The tiger is not red.
@0: The tiger is kind.[(triple1 OR ((triple4) -> rule8) OR ((((triple5) -> rule6)) -> rule8))] The tiger is not red.[(triple2 OR ((triple3) -> rule4) OR ((triple1 triple5) -> rule3) OR ((((triple4) -> rule8) triple5) -> rule3) OR ((((((triple5) -> rule6)) -> rule8) triple5) -> rule3))] The tiger is rough.[(triple3)] The tiger is round.[(triple4 OR ((triple5) -> rule6))] The tiger is young.[(triple5)]