The tiger is blue. The tiger is cold. The tiger is green. The tiger is nice. The tiger is round. All cold people are blue. Round people are blue. If the tiger is not green then the tiger is cold. If the tiger is nice then the tiger is cold. If someone is round and not green then they are nice. If someone is green and cold then they are nice. All round people are nice. All nice people are round.
The tiger visits the tiger.
@0: The tiger is blue.[(triple1 OR ((triple2) -> rule1) OR ((triple5) -> rule2) OR ((((triple4) -> rule4)) -> rule1) OR ((((triple4) -> rule8)) -> rule2) OR ((((((triple5) -> rule7)) -> rule4)) -> rule1) OR ((((((triple3 triple2) -> rule6)) -> rule8)) -> rule2))] The tiger is cold.[(triple2 OR ((triple4) -> rule4) OR ((((triple5) -> rule7)) -> rule4))] The tiger is green.[(triple3)] The tiger is nice.[(triple4 OR ((triple5) -> rule7) OR ((triple3 triple2) -> rule6))] The tiger is round.[(triple5 OR ((triple4) -> rule8) OR ((((triple3 triple2) -> rule6)) -> rule8))]