The tiger is big. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is red. If someone is blue and big then they are cold. Red, cold people are kind. If someone is big then they are cold. All red, blue people are kind. If the tiger is big and the tiger is blue then the tiger is red. Cold people are kind. If the tiger is cold and the tiger is red then the tiger is kind. All blue, red people are cold.
The tiger is kind.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2)] The tiger is cold.[(triple3 OR ((triple1) -> rule3) OR ((triple2 triple1) -> rule1) OR ((triple2 triple5) -> rule8) OR ((triple2 ((triple1 triple2) -> rule5)) -> rule8))] The tiger is kind.[(triple4 OR ((triple3) -> rule6) OR ((triple3 triple5) -> rule7) OR ((triple5 triple2) -> rule4) OR ((triple5 triple3) -> rule2) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple2 triple1) -> rule1)) -> rule6) OR ((((triple2 triple5) -> rule8)) -> rule6) OR ((triple3 ((triple1 triple2) -> rule5)) -> rule7) OR ((triple5 ((triple1) -> rule3)) -> rule2) OR ((triple5 ((triple2 triple1) -> rule1)) -> rule2) OR ((triple5 ((triple2 triple5) -> rule8)) -> rule2) OR ((((triple1) -> rule3) triple5) -> rule7) OR ((((triple1 triple2) -> rule5) triple2) -> rule4) OR ((((triple1 triple2) -> rule5) triple3) -> rule2) OR ((((triple2 triple1) -> rule1) triple5) -> rule7) OR ((((triple2 triple5) -> rule8) triple5) -> rule7) OR ((((triple1) -> rule3) ((triple1 triple2) -> rule5)) -> rule7) OR ((((triple1 triple2) -> rule5) ((triple1) -> rule3)) -> rule2) OR ((((triple1 triple2) -> rule5) ((triple2 triple1) -> rule1)) -> rule2) OR ((((triple1 triple2) -> rule5) ((triple2 triple5) -> rule8)) -> rule2) OR ((((triple2 triple1) -> rule1) ((triple1 triple2) -> rule5)) -> rule7) OR ((((triple2 triple5) -> rule8) ((triple1 triple2) -> rule5)) -> rule7) OR ((((triple2 ((triple1 triple2) -> rule5)) -> rule8)) -> rule6) OR ((triple5 ((triple2 ((triple1 triple2) -> rule5)) -> rule8)) -> rule2) OR ((((triple2 ((triple1 triple2) -> rule5)) -> rule8) triple5) -> rule7) OR ((((triple1 triple2) -> rule5) ((triple2 ((triple1 triple2) -> rule5)) -> rule8)) -> rule2) OR ((((triple2 ((triple1 triple2) -> rule5)) -> rule8) ((triple1 triple2) -> rule5)) -> rule7))] The tiger is red.[(triple5 OR ((triple1 triple2) -> rule5))]