Charlie is big. Charlie is furry. Charlie is nice. Charlie is red. Charlie is white. Charlie is young. Fiona is nice. Fiona is quiet. Fiona is red. Harry is big. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is white. All big, furry things are red. All big, nice things are young. All quiet things are red.
Harry is not quiet.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4 OR ((triple1 triple2) -> rule1))] Charlie is white.[(triple5)] Charlie is young.[(triple6 OR ((triple1 triple3) -> rule2))] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9 OR ((triple8) -> rule3))] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14 OR ((triple13) -> rule3) OR ((triple10 triple11) -> rule1))] Harry is white.[(triple15)] @1: Harry is young.[(((triple10 triple12) -> rule2))]