Bob is green. Dave is not furry. Fiona is not quiet. Gary is green. If Gary is green then Gary is young. If Gary is young then Gary is quiet. If Gary is big and Gary is young then Gary is quiet. If Fiona is furry and Fiona is not green then Fiona is big. Big people are quiet. If Bob is big and Bob is young then Bob is not smart. If someone is young and not quiet then they are smart. If someone is young and quiet then they are smart.
Fiona is not big.
@0: Bob is green.[(triple1)] Dave is not furry.[(triple2)] Fiona is not quiet.[(triple3)] Gary is green.[(triple4)] @1: Gary is young.[(((triple4) -> rule1))] @2: Gary is quiet.[(((((triple4) -> rule1)) -> rule2))] @3: Gary is smart.[(((((triple4) -> rule1) ((((triple4) -> rule1)) -> rule2)) -> rule8))]