Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is white. Charlie is young. Dave is kind. Dave is white. Dave is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is white. Fiona is young. If Fiona is cold then Fiona is white. All cold, furry things are rough. All kind, young things are furry.
Dave is not rough.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple4 triple7) -> rule3))] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is rough.[(triple5 OR ((triple1 triple2) -> rule2) OR ((triple1 ((triple4 triple7) -> rule3)) -> rule2))] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Dave is kind.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] Fiona is cold.[(triple11)] Fiona is furry.[(triple12 OR ((triple13 triple15) -> rule3))] Fiona is kind.[(triple13)] Fiona is white.[(triple14 OR ((triple11) -> rule1))] Fiona is young.[(triple15)] @1: Dave is furry.[(((triple8 triple10) -> rule3))] Fiona is rough.[(((triple11 triple12) -> rule2) OR ((triple11 ((triple13 triple15) -> rule3)) -> rule2))]