Bob is green. Bob is round. Charlie is big. Charlie is quiet. Charlie is round. Charlie is young. Fiona is furry. Fiona is young. Harry is green. Harry is young. If Bob is big then Bob is green. Green, furry things are rough. Big things are furry.
Harry is round.
@0: Bob is green.[(triple1)] Bob is round.[(triple2)] Charlie is big.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple6)] Fiona is furry.[(triple7)] Fiona is young.[(triple8)] Harry is green.[(triple9)] Harry is young.[(triple10)] @1: Charlie is furry.[(((triple3) -> rule3))]