Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Fiona is kind. Fiona is red. Fiona is smart. Harry is big. Harry is kind. Harry is smart. If someone is red then they are young. If someone is smart then they are quiet. Quiet, young people are kind.
Fiona is not quiet.
@0: Charlie is red.[(triple1)] Charlie is smart.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4 OR ((triple1) -> rule1))] Fiona is kind.[(triple5 OR ((((triple7) -> rule2) ((triple6) -> rule1)) -> rule3))] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] Harry is big.[(triple8)] Harry is kind.[(triple9)] Harry is smart.[(triple10)] @1: Charlie is quiet.[(((triple2) -> rule2))] Fiona is quiet.[(((triple7) -> rule2))] Fiona is young.[(((triple6) -> rule1))] Harry is quiet.[(((triple10) -> rule2))] @2: Charlie is kind.[(((((triple2) -> rule2) triple4) -> rule3) OR ((((triple2) -> rule2) ((triple1) -> rule1)) -> rule3))]