Bob is smart. Charlie is blue. Charlie is quiet. Charlie is young. Erin is quiet. Erin is white. Gary is quiet. If Gary is nice and Gary is smart then Gary is white. Smart people are quiet. All smart people are blue. If someone is blue and white then they are smart. Blue people are young. If Gary is blue and Gary is nice then Gary is quiet. All quiet, white people are smart. All furry, nice people are quiet.
Charlie is not furry.
@0: Bob is smart.[(triple1)] Charlie is blue.[(triple2)] Charlie is quiet.[(triple3)] Charlie is young.[(triple4 OR ((triple2) -> rule5))] Erin is quiet.[(triple5)] Erin is white.[(triple6)] Gary is quiet.[(triple7)] @1: Bob is blue.[(((triple1) -> rule3))] Bob is quiet.[(((triple1) -> rule2))] Erin is smart.[(((triple5 triple6) -> rule7))] @2: Bob is young.[(((((triple1) -> rule3)) -> rule5))] Erin is blue.[(((((triple5 triple6) -> rule7)) -> rule3))] @3: Erin is young.[(((((((triple5 triple6) -> rule7)) -> rule3)) -> rule5))]