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