Dave is big. Dave is cold. Dave is white. Erin is nice. Erin is smart. Fiona is red. Harry is red. If something is red and quiet then it is white. Big things are quiet. Smart, quiet things are cold. Smart things are quiet. If something is smart then it is big. White, red things are nice.
Dave is white.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is white.[(triple3)] Erin is nice.[(triple4)] Erin is smart.[(triple5)] Fiona is red.[(triple6)] Harry is red.[(triple7)] @1: Dave is quiet.[(((triple1) -> rule2))] Erin is big.[(((triple5) -> rule5))] Erin is quiet.[(((triple5) -> rule4) OR ((((triple5) -> rule5)) -> rule2))] @2: Erin is cold.[(((triple5 ((triple5) -> rule4)) -> rule3) OR ((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule3))]