Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Fiona is big. Fiona is red. Harry is big. Harry is nice. Harry is white. Harry is young. All quiet, red things are young. Young, big things are nice. All red things are young. Young things are red. Furry things are young. If Charlie is big and Charlie is quiet then Charlie is furry.
Harry is white.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4 OR ((triple6) -> rule4) OR ((((triple1) -> rule5)) -> rule4))] Charlie is white.[(triple5)] Charlie is young.[(triple6 OR ((triple1) -> rule5) OR ((triple4) -> rule3) OR ((triple3 triple4) -> rule1))] Fiona is big.[(triple7)] Fiona is red.[(triple8)] Harry is big.[(triple9)] Harry is nice.[(triple10 OR ((triple12 triple9) -> rule2))] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Fiona is young.[(((triple8) -> rule3))] Harry is red.[(((triple12) -> rule4))] @2: Fiona is nice.[(((((triple8) -> rule3) triple7) -> rule2))]