Harry is big. Harry is blue. Harry is cold. Harry is nice. Harry is rough. Harry is white. Harry is young. If someone is blue then they are white. If someone is white and cold then they are big. Nice, rough people are young. If someone is nice then they are young. All white, big people are young. Nice, white people are young.
Harry is cold.
@0: Harry is big.[(triple1 OR ((triple6 triple3) -> rule2) OR ((((triple2) -> rule1) triple3) -> rule2))] Harry is blue.[(triple2)] Harry is cold.[(triple3)] Harry is nice.[(triple4)] Harry is rough.[(triple5)] Harry is white.[(triple6 OR ((triple2) -> rule1))] Harry is young.[(triple7 OR ((triple4) -> rule4) OR ((triple4 triple5) -> rule3) OR ((triple4 triple6) -> rule6) OR ((triple6 triple1) -> rule5) OR ((triple4 ((triple2) -> rule1)) -> rule6) OR ((triple6 ((triple6 triple3) -> rule2)) -> rule5) OR ((((triple2) -> rule1) triple1) -> rule5) OR ((((triple2) -> rule1) ((triple6 triple3) -> rule2)) -> rule5) OR ((triple6 ((((triple2) -> rule1) triple3) -> rule2)) -> rule5) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple3) -> rule2)) -> rule5))]