Charlie is smart. Charlie is white. Charlie is young. Fiona is young. Harry is big. Harry is kind. Harry is quiet. All white people are kind. Quiet people are young. If Fiona is smart and Fiona is kind then Fiona is quiet. All smart, big people are quiet. If Charlie is furry and Charlie is white then Charlie is quiet. If someone is smart and furry then they are quiet. Big, quiet people are white. If someone is young then they are smart.
Harry is not young.
@0: Charlie is smart.[(triple1 OR ((triple3) -> rule8))] Charlie is white.[(triple2)] Charlie is young.[(triple3)] Fiona is young.[(triple4)] Harry is big.[(triple5)] Harry is kind.[(triple6 OR ((((triple5 triple7) -> rule7)) -> rule1))] Harry is quiet.[(triple7)] @1: Charlie is kind.[(((triple2) -> rule1))] Fiona is smart.[(((triple4) -> rule8))] Harry is white.[(((triple5 triple7) -> rule7))] Harry is young.[(((triple7) -> rule2))] @2: Harry is smart.[(((((triple7) -> rule2)) -> rule8))]