The tiger is blue. The tiger is cold. The tiger is red. All kind people are cold. Blue, cold people are red. If someone is blue and nice then they are kind. Red, kind people are nice. If someone is red and blue then they are nice. All blue, red people are nice.
The tiger is not red.
@0: The tiger is blue.[(triple1)] The tiger is cold.[(triple2 OR ((((triple1 ((triple1 triple3) -> rule6)) -> rule3)) -> rule1) OR ((((triple1 ((triple3 triple1) -> rule5)) -> rule3)) -> rule1))] The tiger is red.[(triple3 OR ((triple1 triple2) -> rule2))] @1: The tiger is nice.[(((triple1 triple3) -> rule6) OR ((triple3 triple1) -> rule5) OR ((triple1 ((triple1 triple2) -> rule2)) -> rule6) OR ((((triple1 triple2) -> rule2) triple1) -> rule5))] @2: The tiger is kind.[(((triple1 ((triple1 triple3) -> rule6)) -> rule3) OR ((triple1 ((triple3 triple1) -> rule5)) -> rule3) OR ((triple1 ((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule3) OR ((triple1 ((((triple1 triple2) -> rule2) triple1) -> rule5)) -> rule3))]