The tiger is big. The tiger is kind. The tiger is nice. The tiger is red. The tiger is rough. If someone is rough then they are red. All nice, red people are kind. If someone is rough then they are nice. Kind, red people are rough. If someone is nice and rough then they are red. Rough people are red.
The tiger does not visit the tiger.
@0: The tiger is big.[(triple1)] The tiger is kind.[(triple2 OR ((triple3 triple4) -> rule2) OR ((triple3 ((triple5) -> rule1)) -> rule2) OR ((triple3 ((triple5) -> rule6)) -> rule2) OR ((triple3 ((triple3 triple5) -> rule5)) -> rule2) OR ((((triple5) -> rule3) triple4) -> rule2) OR ((((triple5) -> rule3) ((triple5) -> rule1)) -> rule2) OR ((((triple5) -> rule3) ((triple5) -> rule6)) -> rule2) OR ((((triple5) -> rule3) ((triple3 triple5) -> rule5)) -> rule2) OR ((triple3 ((((triple5) -> rule3) triple5) -> rule5)) -> rule2) OR ((((triple5) -> rule3) ((((triple5) -> rule3) triple5) -> rule5)) -> rule2))] The tiger is nice.[(triple3 OR ((triple5) -> rule3) OR ((((triple2 triple4) -> rule4)) -> rule3))] The tiger is red.[(triple4 OR ((triple5) -> rule1) OR ((triple5) -> rule6) OR ((triple3 triple5) -> rule5) OR ((((triple5) -> rule3) triple5) -> rule5))] The tiger is rough.[(triple5 OR ((triple2 triple4) -> rule4) OR ((((triple3 triple4) -> rule2) triple4) -> rule4))]