The tiger is big. The tiger is cold. The tiger is green. The tiger is nice. The tiger is red. All nice things are cold. If something is red and green then it is cold. If the tiger is red and the tiger is nice then the tiger is green. If the tiger is green then the tiger is big. If something is green then it is red. Big things are green.
The tiger likes the tiger.
@0: The tiger is big.[(triple1 OR ((triple3) -> rule4) OR ((((triple5 triple4) -> rule3)) -> rule4))] The tiger is cold.[(triple2 OR ((triple4) -> rule1) OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple1) -> rule6)) -> rule2) OR ((triple5 ((triple5 triple4) -> rule3)) -> rule2) OR ((((triple3) -> rule5) triple3) -> rule2) OR ((((triple3) -> rule5) ((triple1) -> rule6)) -> rule2) OR ((((triple3) -> rule5) ((triple5 triple4) -> rule3)) -> rule2) OR ((((((triple1) -> rule6)) -> rule5) triple3) -> rule2) OR ((((((triple1) -> rule6)) -> rule5) ((triple1) -> rule6)) -> rule2) OR ((((((triple1) -> rule6)) -> rule5) ((triple5 triple4) -> rule3)) -> rule2))] The tiger is green.[(triple3 OR ((triple1) -> rule6) OR ((triple5 triple4) -> rule3))] The tiger is nice.[(triple4)] The tiger is red.[(triple5 OR ((triple3) -> rule5) OR ((((triple1) -> rule6)) -> rule5))]