The tiger is not big. The tiger is blue. The tiger is kind. The tiger is red. The tiger is young. Big, kind things are not young. If the tiger is not big then the tiger is young. If the tiger is big then the tiger is red. If something is young then it is red. All blue things are red. If something is red and not big then it is blue. If something is big then it is blue. If something is red and not young then it is blue.
The tiger is young.
@0: The tiger is blue.[(triple2 OR ((triple4 triple1) -> rule6) OR ((((triple5) -> rule4) triple1) -> rule6) OR ((((((triple1) -> rule2)) -> rule4) triple1) -> rule6))] The tiger is kind.[(triple3)] The tiger is not big.[(triple1)] The tiger is red.[(triple4 OR ((triple2) -> rule5) OR ((triple5) -> rule4) OR ((((triple1) -> rule2)) -> rule4))] The tiger is young.[(triple5 OR ((triple1) -> rule2))]