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