Fiona is cold. Fiona is nice. Fiona is not young. Harry is big. Harry is cold. Harry is not furry. Harry is nice. Harry is rough. Harry is white. Harry is young. If Fiona is rough then Fiona is white. All furry, young things are not rough. Nice, furry things are young. If something is white and not nice then it is big. Cold things are big. If something is white and not young then it is cold.
Fiona is big.
@0: Fiona is cold.[(triple1)] Fiona is nice.[(triple2)] Fiona is not young.[(triple3)] Harry is big.[(triple4 OR ((triple5) -> rule5))] Harry is cold.[(triple5)] Harry is nice.[(triple7)] Harry is not furry.[(triple6)] Harry is rough.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Fiona is big.[(((triple1) -> rule5))]