The tiger is cold. The tiger is kind. The tiger is round. Round, green things are rough. All green things are rough. If the tiger is kind then the tiger is green. Kind, rough things are green. If something is kind and cold then it is green. If something is rough and round then it is cold. If the tiger is kind then the tiger is round. If the tiger is not kind then the tiger is rough.
The tiger is not green.
@0: The tiger is cold.[(triple1 OR ((((((triple2) -> rule3)) -> rule2) triple3) -> rule6) OR ((((triple3 ((triple2) -> rule3)) -> rule1) triple3) -> rule6) OR ((((((triple2) -> rule3)) -> rule2) ((triple2) -> rule7)) -> rule6) OR ((((triple3 ((triple2) -> rule3)) -> rule1) ((triple2) -> rule7)) -> rule6) OR ((((((triple2) -> rule7) ((triple2) -> rule3)) -> rule1) triple3) -> rule6) OR ((((((triple2) -> rule7) ((triple2) -> rule3)) -> rule1) ((triple2) -> rule7)) -> rule6))] The tiger is kind.[(triple2)] The tiger is round.[(triple3 OR ((triple2) -> rule7))] @1: The tiger is green.[(((triple2) -> rule3) OR ((triple2 triple1) -> rule5))] @2: The tiger is rough.[(((((triple2) -> rule3)) -> rule2) OR ((((triple2 triple1) -> rule5)) -> rule2) OR ((triple3 ((triple2) -> rule3)) -> rule1) OR ((triple3 ((triple2 triple1) -> rule5)) -> rule1) OR ((((triple2) -> rule7) ((triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule7) ((triple2 triple1) -> rule5)) -> rule1))]