Dave is cold. Dave is green. Dave is nice. Gary is big. Gary is cold. Gary is green. Gary is nice. Gary is smart. Gary is white. Gary is young. Harry is big. Harry is cold. Harry is smart. Harry is white. Harry is young. If someone is white then they are big. If someone is nice and green then they are white.
Harry is green.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Gary is big.[(triple4 OR ((triple9) -> rule1) OR ((((triple7 triple6) -> rule2)) -> rule1))] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] Gary is smart.[(triple8)] Gary is white.[(triple9 OR ((triple7 triple6) -> rule2))] Gary is young.[(triple10)] Harry is big.[(triple11 OR ((triple14) -> rule1))] Harry is cold.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Dave is white.[(((triple3 triple2) -> rule2))] @2: Dave is big.[(((((triple3 triple2) -> rule2)) -> rule1))]