Dave is cold. Dave is green. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Dave is young. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is young. All young people are round. If someone is cold and nice then they are young.
Dave is cold.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is round.[(triple5 OR ((triple7) -> rule1) OR ((((triple1 triple3) -> rule2)) -> rule1))] Dave is smart.[(triple6)] Dave is young.[(triple7 OR ((triple1 triple3) -> rule2))] Erin is cold.[(triple8)] Erin is green.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is round.[(triple12 OR ((triple14) -> rule1) OR ((((triple8 triple10) -> rule2)) -> rule1))] Erin is smart.[(triple13)] Erin is young.[(triple14 OR ((triple8 triple10) -> rule2))]