Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is red. Erin is not big. Erin is not cold. Erin is furry. Erin is green. Erin is kind. Erin is red. Erin is not young. Fiona is big. Fiona is cold. Fiona is green. Fiona is young. If something is young then it is not furry. If something is young and not furry then it is not kind.
Fiona is not furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is red.[(triple5)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is not big.[(triple6)] Erin is not cold.[(triple7)] Erin is not young.[(triple12)] Erin is red.[(triple11)] Fiona is big.[(triple13)] Fiona is cold.[(triple14)] Fiona is green.[(triple15)] Fiona is young.[(triple16)] @1: Fiona is not furry.[(((triple16) -> rule1))] @2: Fiona is not kind.[(((triple16 ((triple16) -> rule1)) -> rule2))]