The tiger is cold. The tiger is kind. The tiger is nice. The tiger is red. The tiger is rough. If the tiger is nice and the tiger is red then the tiger is cold. If something is rough then it is kind. All nice, red things are kind. Red things are rough. All nice, cold things are rough. If something is red then it is cold.
The tiger does not need the tiger.
@0: The tiger is cold.[(triple1 OR ((triple4) -> rule6) OR ((triple3 triple4) -> rule1))] The tiger is kind.[(triple2 OR ((triple5) -> rule2) OR ((triple3 triple4) -> rule3) OR ((((triple4) -> rule4)) -> rule2) OR ((((triple3 triple1) -> rule5)) -> rule2) OR ((((triple3 ((triple4) -> rule6)) -> rule5)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule5)) -> rule2))] The tiger is nice.[(triple3)] The tiger is red.[(triple4)] The tiger is rough.[(triple5 OR ((triple4) -> rule4) OR ((triple3 triple1) -> rule5) OR ((triple3 ((triple4) -> rule6)) -> rule5) OR ((triple3 ((triple3 triple4) -> rule1)) -> rule5))]