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