Dave is big. Dave is furry. Dave is nice. Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is young. Fiona is cold. Fiona is furry. Fiona is young. Gary is cold. Gary is kind. Gary is young. Furry people are kind. If someone is big then they are young.
Gary is quiet.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is young.[(triple9 OR ((triple4) -> rule2))] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is young.[(triple12)] Gary is cold.[(triple13)] Gary is kind.[(triple14)] Gary is young.[(triple15)] @1: Dave is kind.[(((triple2) -> rule1))] Dave is young.[(((triple1) -> rule2))] Erin is kind.[(((triple6) -> rule1))] Fiona is kind.[(((triple11) -> rule1))]