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