Bob is cold. Bob is kind. Bob is not young. Erin is blue. Erin is quiet. Erin is round. Erin is smart. Fiona is not blue. Fiona is not quiet. Fiona is smart. All young people are not cold. All young people are cold. Young people are round. If someone is smart and not blue then they are round. If Fiona is round then Fiona is kind. If someone is kind then they are not young.
Bob is not smart.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is not young.[(triple3 OR ((triple2) -> rule6))] Erin is blue.[(triple4)] Erin is quiet.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)] Fiona is not blue.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is round.[(((triple10 triple8) -> rule4))] @2: Fiona is kind.[(((((triple10 triple8) -> rule4)) -> rule5))] @3: Fiona is not young.[(((((((triple10 triple8) -> rule4)) -> rule5)) -> rule6))]