Dave is not big. Erin is young. Fiona is furry. Gary is cold. If something is big then it is cold. If something is green then it is furry. All young things are green. If something is furry and not big then it is green. All green, nice things are not quiet. Young things are quiet. All cold, young things are not nice. If Gary is cold then Gary is young.
Gary is furry.
@0: Dave is not big.[(triple1)] Erin is young.[(triple2)] Fiona is furry.[(triple3)] Gary is cold.[(triple4)] @1: Erin is green.[(((triple2) -> rule3))] Erin is quiet.[(((triple2) -> rule6))] Gary is young.[(((triple4) -> rule8))] @2: Erin is furry.[(((((triple2) -> rule3)) -> rule2))] Gary is green.[(((((triple4) -> rule8)) -> rule3))] Gary is not nice.[(((triple4 ((triple4) -> rule8)) -> rule7))] Gary is quiet.[(((((triple4) -> rule8)) -> rule6))] @3: Gary is furry.[(((((((triple4) -> rule8)) -> rule3)) -> rule2))]