Anne is big. Anne is quiet. Bob is furry. Bob is young. Charlie is kind. Charlie is young. Erin is smart. If something is furry then it is young. If Charlie is smart then Charlie is kind. If Erin is kind and Erin is furry then Erin is big. If Erin is smart then Erin is white. All big things are quiet. If Anne is smart then Anne is quiet.
Bob is not furry.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2 OR ((triple1) -> rule5))] Bob is furry.[(triple3)] Bob is young.[(triple4 OR ((triple3) -> rule1))] Charlie is kind.[(triple5)] Charlie is young.[(triple6)] Erin is smart.[(triple7)] @1: Erin is white.[(((triple7) -> rule4))]