The tiger is not big. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is red. If someone is nice then they are blue. If someone is cold and not nice then they are blue. If someone is big then they are not blue. If someone is cold and nice then they are blue. Red, nice people are blue. All nice people are red.
The tiger likes the tiger.
@0: The tiger is blue.[(triple2 OR ((triple4) -> rule1) OR ((triple3 triple4) -> rule4) OR ((triple5 triple4) -> rule5) OR ((((triple4) -> rule6) triple4) -> rule5))] The tiger is cold.[(triple3)] The tiger is nice.[(triple4)] The tiger is not big.[(triple1)] The tiger is red.[(triple5 OR ((triple4) -> rule6))]