Dave is quiet. Erin is big. Fiona is red. Harry is red. If someone is quiet then they are round. All nice people are round. Red, big people are not round. If Harry is round then Harry is red. If Erin is quiet then Erin is round. If someone is quiet and not white then they are cold. Quiet, big people are cold. If someone is round then they are big.
Fiona is not red.
@0: Dave is quiet.[(triple1)] Erin is big.[(triple2)] Fiona is red.[(triple3)] Harry is red.[(triple4)] @1: Dave is round.[(((triple1) -> rule1))] @2: Dave is big.[(((((triple1) -> rule1)) -> rule8))] @3: Dave is cold.[(((triple1 ((((triple1) -> rule1)) -> rule8)) -> rule7))]