The tiger is blue. The tiger is red. The tiger is young. If someone is red and blue then they are rough. If someone is young then they are red. All blue people are rough. Round, blue people are young. Blue, rough people are young. All red, round people are rough. If someone is rough then they are round. If the tiger is red then the tiger is young.
The tiger does not visit the tiger.
@0: The tiger is blue.[(triple1)] The tiger is red.[(triple2 OR ((triple3) -> rule2) OR ((((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule7) triple1) -> rule4)) -> rule2))] The tiger is young.[(triple3 OR ((triple2) -> rule8) OR ((triple1 ((triple1) -> rule3)) -> rule5) OR ((triple1 ((triple2 triple1) -> rule1)) -> rule5) OR ((((((triple1) -> rule3)) -> rule7) triple1) -> rule4) OR ((((((triple2 triple1) -> rule1)) -> rule7) triple1) -> rule4))] @1: The tiger is rough.[(((triple1) -> rule3) OR ((triple2 triple1) -> rule1) OR ((((triple3) -> rule2) triple1) -> rule1))] @2: The tiger is round.[(((((triple1) -> rule3)) -> rule7) OR ((((triple2 triple1) -> rule1)) -> rule7) OR ((((((triple3) -> rule2) triple1) -> rule1)) -> rule7))]