Charlie is kind. Charlie is not quiet. Charlie is red. Charlie is smart. Erin is quiet. Erin is not red. Fiona is not kind. Fiona is quiet. Fiona is red. Fiona is round. Harry is furry. Harry is round. Smart things are big. If Fiona is big then Fiona is not round. Kind things are not furry. If Fiona is furry then Fiona is kind. All furry, red things are round. If Fiona is round then Fiona is quiet. If Charlie is round then Charlie is furry. If something is round and not big then it is red.
Harry is round.
@0: Charlie is kind.[(triple1)] Charlie is not quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4)] Erin is not red.[(triple6)] Erin is quiet.[(triple5)] Fiona is not kind.[(triple7)] Fiona is quiet.[(triple8 OR ((triple10) -> rule6))] Fiona is red.[(triple9)] Fiona is round.[(triple10)] Harry is furry.[(triple11)] Harry is round.[(triple12)] @1: Charlie is big.[(((triple4) -> rule1))] Charlie is not furry.[(((triple1) -> rule3))]