Dave is blue. Dave is cold. Dave is kind. Dave is round. Dave is young. Erin is blue. Erin is nice. Erin is round. Erin is white. Erin is young. All kind, round people are cold. If someone is kind then they are round. If someone is white and not kind then they are not round.
Erin is not cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple3 triple4) -> rule1) OR ((triple3 ((triple3) -> rule2)) -> rule1))] Dave is kind.[(triple3)] Dave is round.[(triple4 OR ((triple3) -> rule2))] Dave is young.[(triple5)] Erin is blue.[(triple6)] Erin is nice.[(triple7)] Erin is round.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)]