Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Harry is cold. Harry is furry. Harry is green. Harry is rough. Harry is smart. Harry is white. Harry is young. All furry things are young. If Harry is furry and Harry is young then Harry is white. If Harry is smart then Harry is green.
Harry is cold.
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is rough.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7 OR ((triple2) -> rule1))] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((triple12) -> rule3))] Harry is rough.[(triple11)] Harry is smart.[(triple12)] Harry is white.[(triple13 OR ((triple9 triple14) -> rule2) OR ((triple9 ((triple9) -> rule1)) -> rule2))] Harry is young.[(triple14 OR ((triple9) -> rule1))]