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