Anne is quiet. Bob is quiet. Bob is young. Charlie is young. Erin is big. Erin is furry. Erin is young. All round people are rough. All furry people are red. Rough, furry people are young. Red people are big. All young, big people are red. Rough, young people are big.
Charlie is quiet.
@0: Anne is quiet.[(triple1)] Bob is quiet.[(triple2)] Bob is young.[(triple3)] Charlie is young.[(triple4)] Erin is big.[(triple5 OR ((((triple6) -> rule2)) -> rule4))] Erin is furry.[(triple6)] Erin is young.[(triple7)] @1: Erin is red.[(((triple6) -> rule2) OR ((triple7 triple5) -> rule5))]