The tiger is big. The tiger is cold. The tiger is nice. The tiger is round. The tiger is young. If someone is big and young then they are cold.
The tiger is young.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2 OR ((triple1 triple5) -> rule1))] The tiger is nice.[(triple3)] The tiger is round.[(triple4)] The tiger is young.[(triple5)]