The tiger is big. The tiger is blue. The tiger is green. The tiger is kind. The tiger is red. Kind things are green. All blue things are green. Green things are red. All red, big things are blue. All kind, blue things are big. If the tiger is big then the tiger is blue.
The tiger is not kind.
@0: The tiger is big.[(triple1 OR ((triple4 triple2) -> rule5))] The tiger is blue.[(triple2 OR ((triple1) -> rule6) OR ((triple5 triple1) -> rule4) OR ((((triple3) -> rule3) triple1) -> rule4) OR ((((((triple4) -> rule1)) -> rule3) triple1) -> rule4))] The tiger is green.[(triple3 OR ((triple2) -> rule2) OR ((triple4) -> rule1) OR ((((triple1) -> rule6)) -> rule2) OR ((((triple5 triple1) -> rule4)) -> rule2))] The tiger is kind.[(triple4)] The tiger is red.[(triple5 OR ((triple3) -> rule3) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple4) -> rule1)) -> rule3) OR ((((((triple1) -> rule6)) -> rule2)) -> rule3))]