Charlie is blue. Charlie is not cold. Charlie is nice. Charlie is white. Dave is big. Dave is blue. Dave is furry. Dave is green. Erin is furry. Erin is green. Fiona is not cold. Fiona is furry. If Erin is green then Erin is big. If someone is nice and not green then they are big. If someone is cold and big then they are not nice. If someone is cold and blue then they are not nice. If someone is cold and not big then they are furry. Big people are furry. Furry people are white. If someone is green and not furry then they are not white.
Fiona is not big.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple3)] Charlie is not cold.[(triple2)] Charlie is white.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7 OR ((triple5) -> rule6))] Dave is green.[(triple8)] Erin is furry.[(triple9 OR ((((triple10) -> rule1)) -> rule6))] Erin is green.[(triple10)] Fiona is furry.[(triple12)] Fiona is not cold.[(triple11)] @1: Dave is white.[(((triple7) -> rule7) OR ((((triple5) -> rule6)) -> rule7))] Erin is big.[(((triple10) -> rule1))] Erin is white.[(((triple9) -> rule7) OR ((((((triple10) -> rule1)) -> rule6)) -> rule7))] Fiona is white.[(((triple12) -> rule7))]