Bob is cold. Dave is rough. Fiona is young. Gary is young. All cold things are round. All young things are cold. If something is nice then it is white. If Bob is quiet and Bob is not round then Bob is nice. If something is white then it is rough. All cold, young things are not rough. If something is white and cold then it is rough. If Fiona is quiet and Fiona is not white then Fiona is rough.
Gary is young.
@0: Bob is cold.[(triple1)] Dave is rough.[(triple2)] Fiona is young.[(triple3)] Gary is young.[(triple4)] @1: Bob is round.[(((triple1) -> rule1))] Fiona is cold.[(((triple3) -> rule2))] Gary is cold.[(((triple4) -> rule2))] @2: Fiona is not rough.[(((((triple3) -> rule2) triple3) -> rule6))] Fiona is round.[(((((triple3) -> rule2)) -> rule1))] Gary is not rough.[(((((triple4) -> rule2) triple4) -> rule6))] Gary is round.[(((((triple4) -> rule2)) -> rule1))]