Bob is young. Charlie is not big. Fiona is round. All round people are cold. Young people are not round. If someone is kind then they are not white. If Fiona is cold then Fiona is not quiet. If Charlie is white then Charlie is cold. If someone is round and kind then they are young. If Charlie is white and Charlie is kind then Charlie is not round. If Bob is round then Bob is not big.
Charlie is not cold.
@0: Bob is young.[(triple1)] Charlie is not big.[(triple2)] Fiona is round.[(triple3)] @1: Bob is not round.[(((triple1) -> rule2))] Fiona is cold.[(((triple3) -> rule1))] @2: Fiona is not quiet.[(((((triple3) -> rule1)) -> rule4))]