Anne is big. Anne is not kind. Anne is not smart. Charlie is big. Charlie is blue. Charlie is white. Fiona is big. Fiona is blue. Fiona is furry. Harry is big. Harry is furry. Harry is not nice. If Charlie is nice then Charlie is not furry. If Harry is big then Harry is blue. If Charlie is blue then Charlie is nice. Big, nice things are white. Furry things are kind. If something is furry and not white then it is kind.
Fiona is nice.
@0: Anne is big.[(triple1)] Anne is not kind.[(triple2)] Anne is not smart.[(triple3)] Charlie is big.[(triple4)] Charlie is blue.[(triple5)] Charlie is white.[(triple6 OR ((triple4 ((triple5) -> rule3)) -> rule4))] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is not nice.[(triple12)] @1: Charlie is nice.[(((triple5) -> rule3))] Fiona is kind.[(((triple9) -> rule5))] Harry is blue.[(((triple10) -> rule2))] Harry is kind.[(((triple11) -> rule5))] @2: Charlie is not furry.[(((((triple5) -> rule3)) -> rule1))]