The tiger is cold. The tiger is green. The tiger is kind. The tiger is rough. The tiger is round. If the tiger is cold and the tiger is green then the tiger is rough. If something is green then it is kind. If something is round and rough then it is green. If the tiger is kind then the tiger is cold. All round things are rough. If the tiger is round then the tiger is rough. If the tiger is green then the tiger is rough. All cold, kind things are rough.
The tiger does not like the tiger.
@0: The tiger is cold.[(triple1 OR ((triple3) -> rule4) OR ((((triple2) -> rule2)) -> rule4) OR ((((((triple5 triple4) -> rule3)) -> rule2)) -> rule4) OR ((((((triple5 ((triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule2)) -> rule4))] The tiger is green.[(triple2 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple5) -> rule5)) -> rule3) OR ((triple5 ((triple5) -> rule6)) -> rule3) OR ((triple5 ((triple1 triple3) -> rule8)) -> rule3) OR ((triple5 ((((triple3) -> rule4) triple3) -> rule8)) -> rule3))] The tiger is kind.[(triple3 OR ((triple2) -> rule2) OR ((((triple5 triple4) -> rule3)) -> rule2) OR ((((triple5 ((triple5) -> rule5)) -> rule3)) -> rule2) OR ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule2))] The tiger is rough.[(triple4 OR ((triple2) -> rule7) OR ((triple5) -> rule5) OR ((triple5) -> rule6) OR ((triple1 triple2) -> rule1) OR ((triple1 triple3) -> rule8) OR ((triple1 ((triple2) -> rule2)) -> rule8) OR ((((triple3) -> rule4) triple2) -> rule1) OR ((((triple3) -> rule4) triple3) -> rule8) OR ((((triple3) -> rule4) ((triple2) -> rule2)) -> rule8) OR ((((((triple2) -> rule2)) -> rule4) triple2) -> rule1) OR ((((((triple2) -> rule2)) -> rule4) triple3) -> rule8) OR ((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule8))] The tiger is round.[(triple5)]