Charlie is blue. Charlie is cold. Charlie is red. Charlie is round. Charlie is white. Dave is blue. Dave is cold. Dave is furry. Dave is red. Dave is rough. Dave is white. Erin is blue. Erin is furry. Erin is rough. Erin is round. If Dave is rough and Dave is round then Dave is white. All white things are blue. If something is round and rough then it is blue.
Erin is cold.
@0: Charlie is blue.[(triple1 OR ((triple5) -> rule2))] Charlie is cold.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Dave is blue.[(triple6 OR ((triple11) -> rule2))] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is red.[(triple9)] Dave is rough.[(triple10)] Dave is white.[(triple11)] Erin is blue.[(triple12 OR ((triple15 triple14) -> rule3))] Erin is furry.[(triple13)] Erin is rough.[(triple14)] Erin is round.[(triple15)]