The tiger is big. The tiger is cold. The tiger is kind. The tiger is red. The tiger is rough. If something is cold then it is kind. If something is rough then it is cold. All red, kind things are big. If something is rough and big then it is kind. All cold, rough things are kind. All rough, cold things are kind. Big, kind things are cold. If the tiger is rough and the tiger is cold then the tiger is kind.
The tiger does not eat the tiger.
@0: The tiger is big.[(triple1 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple2) -> rule1)) -> rule3) OR ((triple4 ((triple2 triple5) -> rule5)) -> rule3) OR ((triple4 ((triple5 triple2) -> rule6)) -> rule3) OR ((triple4 ((triple5 triple2) -> rule8)) -> rule3) OR ((triple4 ((((triple5) -> rule2)) -> rule1)) -> rule3) OR ((triple4 ((triple5 ((triple5) -> rule2)) -> rule6)) -> rule3) OR ((triple4 ((triple5 ((triple5) -> rule2)) -> rule8)) -> rule3) OR ((triple4 ((((triple5) -> rule2) triple5) -> rule5)) -> rule3))] The tiger is cold.[(triple2 OR ((triple5) -> rule2) OR ((triple1 triple3) -> rule7) OR ((triple1 ((triple5 triple1) -> rule4)) -> rule7) OR ((((triple4 triple3) -> rule3) triple3) -> rule7) OR ((((triple4 triple3) -> rule3) ((triple5 triple1) -> rule4)) -> rule7))] The tiger is kind.[(triple3 OR ((triple2) -> rule1) OR ((triple2 triple5) -> rule5) OR ((triple5 triple1) -> rule4) OR ((triple5 triple2) -> rule6) OR ((triple5 triple2) -> rule8) OR ((((triple5) -> rule2)) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule6) OR ((triple5 ((triple5) -> rule2)) -> rule8) OR ((((triple5) -> rule2) triple5) -> rule5))] The tiger is red.[(triple4)] The tiger is rough.[(triple5)]