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