Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Dave is not big. Dave is furry. Dave is green. Dave is not quiet. Fiona is not blue. Fiona is not cold. Fiona is not furry. Fiona is green. Gary is blue. Gary is cold. Gary is not furry. Blue things are green. All round, green things are furry. If Fiona is cold then Fiona is round. Round, furry things are not big. Blue, quiet things are not big. If something is furry and not green then it is not cold. Round, blue things are cold. Quiet, green things are cold.
Charlie is furry.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4 OR ((triple1) -> rule1))] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is not big.[(triple5)] Dave is not quiet.[(triple8)] Fiona is green.[(triple12)] Fiona is not blue.[(triple9)] Fiona is not cold.[(triple10)] Fiona is not furry.[(triple11)] Gary is blue.[(triple13)] Gary is cold.[(triple14)] Gary is not furry.[(triple15)] @1: Gary is green.[(((triple13) -> rule1))]