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