The tiger is cold. The tiger is rough. The tiger is round. If the tiger is young then the tiger is cold. If someone is round and rough then they are blue. If someone is rough then they are cold. All round, rough people are cold. If the tiger is young then the tiger is rough. Round, rough people are blue. If the tiger is round and the tiger is cold then the tiger is blue. All rough people are round.
The tiger is cold.
@0: The tiger is cold.[(triple1 OR ((triple2) -> rule3) OR ((triple3 triple2) -> rule4) OR ((((triple2) -> rule8) triple2) -> rule4))] The tiger is rough.[(triple2)] The tiger is round.[(triple3 OR ((triple2) -> rule8))] @1: The tiger is blue.[(((triple3 triple1) -> rule7) OR ((triple3 triple2) -> rule2) OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple2) -> rule3)) -> rule7) OR ((triple3 ((triple3 triple2) -> rule4)) -> rule7) OR ((((triple2) -> rule8) triple1) -> rule7) OR ((((triple2) -> rule8) triple2) -> rule2) OR ((((triple2) -> rule8) triple2) -> rule6) OR ((((triple2) -> rule8) ((triple2) -> rule3)) -> rule7) OR ((((triple2) -> rule8) ((triple3 triple2) -> rule4)) -> rule7) OR ((triple3 ((((triple2) -> rule8) triple2) -> rule4)) -> rule7) OR ((((triple2) -> rule8) ((((triple2) -> rule8) triple2) -> rule4)) -> rule7))]