Bob is smart. Bob is white. Erin is red. Fiona is smart. Fiona is white. Harry is quiet. Harry is white. If Fiona is smart then Fiona is rough. If someone is quiet and cold then they are round. If someone is round and smart then they are red. If Erin is round then Erin is white. If Fiona is smart and Fiona is quiet then Fiona is round. All rough people are quiet.
Fiona is quiet.
@0: Bob is smart.[(triple1)] Bob is white.[(triple2)] Erin is red.[(triple3)] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Harry is quiet.[(triple6)] Harry is white.[(triple7)] @1: Fiona is rough.[(((triple4) -> rule1))] @2: Fiona is quiet.[(((((triple4) -> rule1)) -> rule6))] @3: Fiona is round.[(((triple4 ((((triple4) -> rule1)) -> rule6)) -> rule5))] @4: Fiona is red.[(((((triple4 ((((triple4) -> rule1)) -> rule6)) -> rule5) triple4) -> rule3))]