Dave is big. Dave is green. Dave is quiet. Dave is round. Dave is smart. Erin is big. Erin is quiet. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Gary is furry. Gary is green. Gary is nice. Gary is quiet. If Gary is smart and Gary is nice then Gary is quiet. If something is furry and nice then it is big.
Gary is round.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Erin is big.[(triple6)] Erin is quiet.[(triple7)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is smart.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is nice.[(triple14)] Gary is quiet.[(triple15)] @1: Fiona is big.[(((triple8 triple9) -> rule2))] Gary is big.[(((triple12 triple14) -> rule2))]