Bob is cold. Bob is quiet. Bob is smart. Charlie is cold. Charlie is red. Erin is cold. Erin is quiet. Erin is red. Fiona is quiet. Fiona is smart. If something is quiet then it is smart. All red things are quiet. Smart, quiet things are round.
Fiona is blue.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3 OR ((triple2) -> rule1))] Charlie is cold.[(triple4)] Charlie is red.[(triple5)] Erin is cold.[(triple6)] Erin is quiet.[(triple7 OR ((triple8) -> rule2))] Erin is red.[(triple8)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10 OR ((triple9) -> rule1))] @1: Bob is round.[(((triple3 triple2) -> rule3) OR ((((triple2) -> rule1) triple2) -> rule3))] Charlie is quiet.[(((triple5) -> rule2))] Erin is smart.[(((triple7) -> rule1) OR ((((triple8) -> rule2)) -> rule1))] Fiona is round.[(((triple10 triple9) -> rule3) OR ((((triple9) -> rule1) triple9) -> rule3))] @2: Charlie is smart.[(((((triple5) -> rule2)) -> rule1))] Erin is round.[(((((triple7) -> rule1) triple7) -> rule3) OR ((((triple7) -> rule1) ((triple8) -> rule2)) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) triple7) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) ((triple8) -> rule2)) -> rule3))] @3: Charlie is round.[(((((((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule3))]