Bob is furry. Bob is round. Bob is white. Erin is blue. Erin is quiet. Erin is red. Erin is round. Erin is smart. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is smart. Harry is blue. Harry is quiet. Harry is red. If someone is blue and white then they are quiet. White, quiet people are smart. Furry people are blue. If someone is quiet and red then they are blue. Smart, white people are quiet. If Harry is red then Harry is quiet.
Bob is not blue.
@0: Bob is furry.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Erin is blue.[(triple4 OR ((triple5 triple6) -> rule4))] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Fiona is blue.[(triple9 OR ((triple10) -> rule3))] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Fiona is smart.[(triple12)] Harry is blue.[(triple13 OR ((triple14 triple15) -> rule4) OR ((((triple15) -> rule6) triple15) -> rule4))] Harry is quiet.[(triple14 OR ((triple15) -> rule6))] Harry is red.[(triple15)] @1: Bob is blue.[(((triple1) -> rule3))] @2: Bob is quiet.[(((((triple1) -> rule3) triple3) -> rule1))] @3: Bob is smart.[(((triple3 ((((triple1) -> rule3) triple3) -> rule1)) -> rule2))]