Charlie is furry. Charlie is nice. Charlie is rough. Charlie is not round. Charlie is white. Erin is cold. Erin is red. Erin is rough. Erin is round. Fiona is furry. Fiona is nice. Fiona is rough. If something is nice then it is not red. If Charlie is round then Charlie is cold. If something is red and not cold then it is not rough. All cold, rough things are furry. If something is rough and not red then it is white. If Fiona is nice and Fiona is not furry then Fiona is not round.
Fiona is rough.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is not round.[(triple4)] Charlie is rough.[(triple3)] Charlie is white.[(triple5 OR ((triple3 ((triple2) -> rule1)) -> rule5))] Erin is cold.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Fiona is furry.[(triple10)] Fiona is nice.[(triple11)] Fiona is rough.[(triple12)] @1: Charlie is not red.[(((triple2) -> rule1))] Erin is furry.[(((triple6 triple8) -> rule4))] Fiona is not red.[(((triple11) -> rule1))] @2: Fiona is white.[(((triple12 ((triple11) -> rule1)) -> rule5))]