Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. All rough, quiet people are smart. Kind, white people are furry.
Charlie is kind.
@0: Charlie is furry.[(triple1 OR ((triple2 triple7) -> rule2))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6 OR ((triple5 triple4) -> rule1))] Charlie is white.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] @1: Fiona is furry.[(((triple8 triple12) -> rule2))]