Charlie is green. Charlie is young. Dave is big. Dave is cold. Dave is furry. Dave is white. Dave is young. Erin is cold. Erin is not green. Erin is white. Erin is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is young. Green things are cold. If Fiona is cold then Fiona is not green. If something is white and not cold then it is furry. Big things are kind. If something is kind and not green then it is big. Kind, green things are white. Young things are white. If Erin is white then Erin is not kind.
Dave is cold.
@0: Charlie is green.[(triple1)] Charlie is young.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5)] Dave is white.[(triple6 OR ((triple7) -> rule7))] Dave is young.[(triple7)] Erin is cold.[(triple8)] Erin is not green.[(triple9)] Erin is white.[(triple10 OR ((triple11) -> rule7))] Erin is young.[(triple11)] Fiona is big.[(triple12 OR ((triple15 ((triple13) -> rule2)) -> rule5))] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is kind.[(triple15 OR ((triple12) -> rule4))] Fiona is young.[(triple16)] @1: Charlie is cold.[(((triple1) -> rule1))] Charlie is white.[(((triple2) -> rule7))] Dave is kind.[(((triple3) -> rule4))] Erin is not kind.[(((triple10) -> rule8) OR ((((triple11) -> rule7)) -> rule8))] Fiona is not green.[(((triple13) -> rule2))] Fiona is white.[(((triple16) -> rule7))]