Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Gary is cold. Gary is furry. Gary is green. Gary is kind. Harry is furry. All kind things are white. All white things are green.
Harry is cold.
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3 OR ((((triple4) -> rule1)) -> rule2))] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8 OR ((((triple9) -> rule1)) -> rule2))] Gary is kind.[(triple9)] Harry is furry.[(triple10)] @1: Fiona is white.[(((triple4) -> rule1))] Gary is white.[(((triple9) -> rule1))]