The tiger is big. The tiger is blue. The tiger is kind. The tiger is nice. The tiger is red. If someone is big then they are blue. All red people are big.
The tiger is red.
@0: The tiger is big.[(triple1 OR ((triple5) -> rule2))] The tiger is blue.[(triple2 OR ((triple1) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] The tiger is kind.[(triple3)] The tiger is nice.[(triple4)] The tiger is red.[(triple5)]