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