Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Erin is green. Erin is kind. Fiona is furry. Fiona is green. Fiona is kind. Fiona is rough. If Fiona is quiet and Fiona is nice then Fiona is rough. Furry people are big.
Fiona is nice.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Dave is big.[(triple5 OR ((triple6) -> rule2))] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Erin is green.[(triple10)] Erin is kind.[(triple11)] Fiona is furry.[(triple12)] Fiona is green.[(triple13)] Fiona is kind.[(triple14)] Fiona is rough.[(triple15)] @1: Charlie is big.[(((triple1) -> rule2))] Fiona is big.[(((triple12) -> rule2))]