Charlie is quiet. Charlie is red. Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Erin is cold. Erin is kind. Erin is nice. Erin is red. Erin is young. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is young. All young things are kind.
Dave is furry.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple9 OR ((triple12) -> rule1))] Erin is nice.[(triple10)] Erin is red.[(triple11)] Erin is young.[(triple12)] Fiona is cold.[(triple13)] Fiona is nice.[(triple14)] Fiona is quiet.[(triple15)] Fiona is young.[(triple16)] @1: Fiona is kind.[(((triple16) -> rule1))]