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