Dave is big. Fiona is red. Gary is green. Harry is red. Green things are big. Cold, furry things are young. Cold things are not nice. Big things are cold. If something is big and nice then it is cold. If Gary is furry and Gary is not big then Gary is not young.
Harry is not cold.
@0: Dave is big.[(triple1)] Fiona is red.[(triple2)] Gary is green.[(triple3)] Harry is red.[(triple4)] @1: Dave is cold.[(((triple1) -> rule4))] Gary is big.[(((triple3) -> rule1))] @2: Dave is not nice.[(((((triple1) -> rule4)) -> rule3))] Gary is cold.[(((((triple3) -> rule1)) -> rule4))] @3: Gary is not nice.[(((((((triple3) -> rule1)) -> rule4)) -> rule3))]