Dave is cold. Dave is quiet. Erin is not big. Erin is cold. Fiona is big. Fiona is not rough. Harry is cold. If Dave is rough and Dave is cold then Dave is young. If something is young and not big then it is blue. If something is big and not quiet then it is blue. If Dave is quiet and Dave is not big then Dave is rough. If something is young and not quiet then it is rough. If something is blue and not cold then it is rough. If something is blue then it is kind. If something is cold then it is young.
Harry is quiet.
@0: Dave is cold.[(triple1)] Dave is quiet.[(triple2)] Erin is cold.[(triple4)] Erin is not big.[(triple3)] Fiona is big.[(triple5)] Fiona is not rough.[(triple6)] Harry is cold.[(triple7)] @1: Dave is young.[(((triple1) -> rule8))] Erin is young.[(((triple4) -> rule8))] Harry is young.[(((triple7) -> rule8))] @2: Erin is blue.[(((((triple4) -> rule8) triple3) -> rule2))] @3: Erin is kind.[(((((((triple4) -> rule8) triple3) -> rule2)) -> rule7))]