The tiger is big. The tiger is blue. The tiger is cold. The tiger is red. The tiger is round. Cold people are blue. Cold people are big. If the tiger is red then the tiger is round. All red, round people are cold. If the tiger is blue then the tiger is round. Big people are round.
The tiger does not visit the tiger.
@0: The tiger is big.[(triple1 OR ((triple3) -> rule2) OR ((((triple4 triple5) -> rule4)) -> rule2) OR ((((triple4 ((triple2) -> rule5)) -> rule4)) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule4)) -> rule2))] The tiger is blue.[(triple2 OR ((triple3) -> rule1) OR ((((triple4 triple5) -> rule4)) -> rule1) OR ((((triple4 ((triple1) -> rule6)) -> rule4)) -> rule1) OR ((((triple4 ((triple4) -> rule3)) -> rule4)) -> rule1))] The tiger is cold.[(triple3 OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple1) -> rule6)) -> rule4) OR ((triple4 ((triple2) -> rule5)) -> rule4) OR ((triple4 ((triple4) -> rule3)) -> rule4))] The tiger is red.[(triple4)] The tiger is round.[(triple5 OR ((triple1) -> rule6) OR ((triple2) -> rule5) OR ((triple4) -> rule3) OR ((((triple3) -> rule1)) -> rule5) OR ((((triple3) -> rule2)) -> rule6))]