The tiger is not blue. The tiger is green. The tiger is kind. The tiger is nice. The tiger is red. Blue, kind people are not green. All blue people are green. All nice, green people are not blue. All blue people are kind. If someone is blue then they are nice. Green people are nice.
The tiger is not red.
@0: The tiger is green.[(triple2)] The tiger is kind.[(triple3)] The tiger is nice.[(triple4 OR ((triple2) -> rule6))] The tiger is not blue.[(triple1 OR ((triple4 triple2) -> rule3) OR ((((triple2) -> rule6) triple2) -> rule3))] The tiger is red.[(triple5)]