Charlie is not cold. Charlie is furry. Charlie is kind. Charlie is smart. Charlie is not white. Charlie is young. Dave is cold. Dave is kind. Dave is nice. Dave is not smart. Dave is white. Dave is young. Fiona is cold. Fiona is furry. Fiona is kind. All furry things are young. If Dave is young then Dave is kind. If Fiona is nice and Fiona is not cold then Fiona is white. If Fiona is young then Fiona is not nice. If something is white and young then it is furry. If Dave is cold then Dave is white. All cold, kind things are not smart. If something is nice and not white then it is kind.
Fiona is furry.
@0: Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is not cold.[(triple1)] Charlie is not white.[(triple5)] Charlie is smart.[(triple4)] Charlie is young.[(triple6 OR ((triple2) -> rule1))] Dave is cold.[(triple7)] Dave is kind.[(triple8 OR ((triple12) -> rule2))] Dave is nice.[(triple9)] Dave is not smart.[(triple10 OR ((triple7 triple8) -> rule7) OR ((triple7 ((triple12) -> rule2)) -> rule7))] Dave is white.[(triple11 OR ((triple7) -> rule6))] Dave is young.[(triple12)] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is kind.[(triple15)] @1: Dave is furry.[(((triple11 triple12) -> rule5) OR ((((triple7) -> rule6) triple12) -> rule5))] Fiona is not smart.[(((triple13 triple15) -> rule7))] Fiona is young.[(((triple14) -> rule1))] @2: Fiona is not nice.[(((((triple14) -> rule1)) -> rule4))]