The tiger is big. The tiger is cold. The tiger is kind. The tiger is rough. The tiger is round. Rough, big people are round. All big, rough people are round. Rough, big people are kind. Rough, round people are cold. If someone is kind then they are cold. If the tiger is rough then the tiger is cold.
The tiger is not cold.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2 OR ((triple3) -> rule5) OR ((triple4) -> rule6) OR ((triple4 triple5) -> rule4) OR ((((triple4 triple1) -> rule3)) -> rule5) OR ((triple4 ((triple1 triple4) -> rule2)) -> rule4) OR ((triple4 ((triple4 triple1) -> rule1)) -> rule4))] The tiger is kind.[(triple3 OR ((triple4 triple1) -> rule3))] The tiger is rough.[(triple4)] The tiger is round.[(triple5 OR ((triple1 triple4) -> rule2) OR ((triple4 triple1) -> rule1))]