The tiger is cold. The tiger is kind. The tiger is young. Red things are cold. If something is cold and kind then it is rough. All young, cold things are kind. If the tiger is red and the tiger is rough then the tiger is cold. If something is rough then it is red. All red, cold things are rough. All young, rough things are red. If something is kind and cold then it is rough.
The tiger does not eat the tiger.
@0: The tiger is cold.[(triple1)] The tiger is kind.[(triple2 OR ((triple3 triple1) -> rule3))] The tiger is young.[(triple3)] @1: The tiger is rough.[(((triple1 triple2) -> rule2) OR ((triple2 triple1) -> rule8) OR ((triple1 ((triple3 triple1) -> rule3)) -> rule2) OR ((((triple3 triple1) -> rule3) triple1) -> rule8))] @2: The tiger is red.[(((((triple1 triple2) -> rule2)) -> rule5) OR ((((triple2 triple1) -> rule8)) -> rule5) OR ((triple3 ((triple1 triple2) -> rule2)) -> rule7) OR ((triple3 ((triple2 triple1) -> rule8)) -> rule7) OR ((((triple1 ((triple3 triple1) -> rule3)) -> rule2)) -> rule5) OR ((((((triple3 triple1) -> rule3) triple1) -> rule8)) -> rule5) OR ((triple3 ((triple1 ((triple3 triple1) -> rule3)) -> rule2)) -> rule7) OR ((triple3 ((((triple3 triple1) -> rule3) triple1) -> rule8)) -> rule7))]