The tiger is big. The tiger is cold. The tiger is green. The tiger is red. The tiger is rough. All big people are red. If someone is rough and not cold then they are not red.
The tiger does not visit the tiger.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2)] The tiger is green.[(triple3)] The tiger is red.[(triple4 OR ((triple1) -> rule1))] The tiger is rough.[(triple5)]