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