Bob is young. Charlie is red. Charlie is round. Charlie is young. Fiona is red. Fiona is white. Fiona is not young. Harry is round. Harry is white. Harry is young. If Fiona is not round then Fiona is red. If Fiona is round then Fiona is young. Young, furry things are rough. If Harry is young and Harry is rough then Harry is red. If Fiona is white then Fiona is furry. If Fiona is nice then Fiona is not rough. If something is rough and not white then it is nice. If something is round and not rough then it is red.
Fiona is white.
@0: Bob is young.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Fiona is not young.[(triple7)] Fiona is red.[(triple5)] Fiona is white.[(triple6)] Harry is round.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Fiona is furry.[(((triple6) -> rule5))]