The tiger is blue. The tiger is kind. The tiger is nice. The tiger is red. The tiger is rough. If the tiger is kind then the tiger is rough. If the tiger is kind then the tiger is nice. Blue things are kind. All rough, blue things are nice. If something is kind and blue then it is red. If something is rough then it is red.
The tiger does not see the tiger.
@0: The tiger is blue.[(triple1)] The tiger is kind.[(triple2 OR ((triple1) -> rule3))] The tiger is nice.[(triple3 OR ((triple2) -> rule2) OR ((triple5 triple1) -> rule4) OR ((((triple1) -> rule3)) -> rule2) OR ((((triple2) -> rule1) triple1) -> rule4) OR ((((((triple1) -> rule3)) -> rule1) triple1) -> rule4))] The tiger is red.[(triple4 OR ((triple5) -> rule6) OR ((triple2 triple1) -> rule5) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple1) -> rule3) triple1) -> rule5) OR ((((((triple1) -> rule3)) -> rule1)) -> rule6))] The tiger is rough.[(triple5 OR ((triple2) -> rule1) OR ((((triple1) -> rule3)) -> rule1))]