Bob is quiet. Charlie is blue. Fiona is blue. All blue people are furry. If Charlie is blue and Charlie is green then Charlie is quiet. If someone is smart and green then they are blue. If someone is smart and red then they are quiet. All blue people are red. All blue people are smart. If Charlie is rough and Charlie is blue then Charlie is smart. If someone is red then they are smart.
Fiona is blue.
@0: Bob is quiet.[(triple1)] Charlie is blue.[(triple2)] Fiona is blue.[(triple3)] @1: Charlie is furry.[(((triple2) -> rule1))] Charlie is red.[(((triple2) -> rule5))] Charlie is smart.[(((triple2) -> rule6) OR ((((triple2) -> rule5)) -> rule8))] Fiona is furry.[(((triple3) -> rule1))] Fiona is red.[(((triple3) -> rule5))] Fiona is smart.[(((triple3) -> rule6) OR ((((triple3) -> rule5)) -> rule8))] @2: Charlie is quiet.[(((((triple2) -> rule6) ((triple2) -> rule5)) -> rule4) OR ((((((triple2) -> rule5)) -> rule8) ((triple2) -> rule5)) -> rule4))] Fiona is quiet.[(((((triple3) -> rule6) ((triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule5)) -> rule8) ((triple3) -> rule5)) -> rule4))]