Erin is not big. Erin is cold. Erin is kind. Erin is red. Erin is white. Fiona is big. Fiona is white. Harry is red. Harry is not smart. Harry is white. If Fiona is smart and Fiona is cold then Fiona is kind. If Fiona is round then Fiona is kind. All cold, big things are white. If Harry is white and Harry is not kind then Harry is smart. If Harry is white then Harry is not big. If Harry is big then Harry is red. If Harry is red then Harry is round. If something is round and not big then it is red.
Fiona is round.
@0: Erin is cold.[(triple2)] Erin is kind.[(triple3)] Erin is not big.[(triple1)] Erin is red.[(triple4)] Erin is white.[(triple5)] Fiona is big.[(triple6)] Fiona is white.[(triple7)] Harry is not smart.[(triple9)] Harry is red.[(triple8)] Harry is white.[(triple10)] @1: Harry is not big.[(((triple10) -> rule5))] Harry is round.[(((triple8) -> rule7))]