The tiger is green. All rough things are green. All red, green things are blue. All blue, big things are red. If something is blue and red then it is rough. If the tiger is rough and the tiger is blue then the tiger is green. All big things are red. Green things are big. If something is blue and red then it is rough.
The tiger does not need the tiger.
@0: The tiger is green.[(triple1)] @1: The tiger is big.[(((triple1) -> rule7))] @2: The tiger is red.[(((((triple1) -> rule7)) -> rule6))] @3: The tiger is blue.[(((((((triple1) -> rule7)) -> rule6) triple1) -> rule2))] @4: The tiger is rough.[(((((((((triple1) -> rule7)) -> rule6) triple1) -> rule2) ((((triple1) -> rule7)) -> rule6)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule6) triple1) -> rule2) ((((triple1) -> rule7)) -> rule6)) -> rule8))]