Bob is cold. Bob is rough. Bob is white. Charlie is young. Erin is cold. Erin is rough. Erin is young. All white people are furry. If someone is cold then they are furry. Young, furry people are cold. Young, quiet people are not cold. If someone is cold and furry then they are white. If someone is furry then they are white. White, young people are not quiet. If Charlie is cold and Charlie is not red then Charlie is quiet.
Charlie is young.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Bob is white.[(triple3 OR ((((triple1) -> rule2)) -> rule6) OR ((triple1 ((triple1) -> rule2)) -> rule5))] Charlie is young.[(triple4)] Erin is cold.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)] @1: Bob is furry.[(((triple1) -> rule2) OR ((triple3) -> rule1))] Erin is furry.[(((triple5) -> rule2))] @2: Erin is white.[(((((triple5) -> rule2)) -> rule6) OR ((triple5 ((triple5) -> rule2)) -> rule5))] @3: Erin is not quiet.[(((((((triple5) -> rule2)) -> rule6) triple7) -> rule7) OR ((((triple5 ((triple5) -> rule2)) -> rule5) triple7) -> rule7))]