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