Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Dave is blue. Fiona is quiet. Fiona is red. Fiona is round. Harry is blue. Harry is nice. If Charlie is furry and Charlie is round then Charlie is blue. All round things are quiet. White, quiet things are round. All round things are furry. If something is nice then it is red. If something is round then it is quiet. If something is blue and nice then it is round. If Harry is round and Harry is red then Harry is blue.
Fiona is not quiet.
@0: Charlie is quiet.[(triple1 OR ((triple3) -> rule2) OR ((triple3) -> rule6))] Charlie is red.[(triple2)] Charlie is round.[(triple3 OR ((triple4 triple1) -> rule3))] Charlie is white.[(triple4)] Dave is blue.[(triple5)] Fiona is quiet.[(triple6 OR ((triple8) -> rule2) OR ((triple8) -> rule6))] Fiona is red.[(triple7)] Fiona is round.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple10)] @1: Charlie is furry.[(((triple3) -> rule4) OR ((((triple4 triple1) -> rule3)) -> rule4))] Fiona is furry.[(((triple8) -> rule4))] Harry is red.[(((triple10) -> rule5))] Harry is round.[(((triple9 triple10) -> rule7))] @2: Charlie is blue.[(((((triple3) -> rule4) triple3) -> rule1) OR ((((triple3) -> rule4) ((triple4 triple1) -> rule3)) -> rule1) OR ((((((triple4 triple1) -> rule3)) -> rule4) triple3) -> rule1) OR ((((((triple4 triple1) -> rule3)) -> rule4) ((triple4 triple1) -> rule3)) -> rule1))] Harry is furry.[(((((triple9 triple10) -> rule7)) -> rule4))] Harry is quiet.[(((((triple9 triple10) -> rule7)) -> rule2) OR ((((triple9 triple10) -> rule7)) -> rule6))]