The tiger is big. The tiger is cold. The tiger is green. The tiger is nice. The tiger is red. If something is red and not green then it is big. If something is cold and not green then it is big. All green things are cold. All red, green things are cold. Big, cold things are nice. If something is cold then it is nice. Cold things are nice. If the tiger is big then the tiger is cold.
The tiger does not visit the tiger.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2 OR ((triple1) -> rule8) OR ((triple3) -> rule3) OR ((triple5 triple3) -> rule4))] The tiger is green.[(triple3)] The tiger is nice.[(triple4 OR ((triple2) -> rule6) OR ((triple2) -> rule7) OR ((triple1 triple2) -> rule5) OR ((((triple1) -> rule8)) -> rule6) OR ((((triple1) -> rule8)) -> rule7) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple3) -> rule3)) -> rule7) OR ((((triple5 triple3) -> rule4)) -> rule6) OR ((((triple5 triple3) -> rule4)) -> rule7) OR ((triple1 ((triple1) -> rule8)) -> rule5) OR ((triple1 ((triple3) -> rule3)) -> rule5) OR ((triple1 ((triple5 triple3) -> rule4)) -> rule5))] The tiger is red.[(triple5)]