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