Bob is big. Bob is furry. Bob is nice. Bob is not quiet. Bob is not red. Bob is round. Bob is smart. Charlie is big. Charlie is furry. Charlie is nice. Charlie is round. Charlie is smart. Erin is furry. Erin is nice. Erin is quiet. Erin is round. If Bob is big and Bob is not furry then Bob is quiet. All nice people are big. Nice, red people are smart.
Charlie is round.
@0: Bob is big.[(triple1 OR ((triple3) -> rule2))] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is not quiet.[(triple4)] Bob is not red.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)] Charlie is big.[(triple8 OR ((triple10) -> rule2))] Charlie is furry.[(triple9)] Charlie is nice.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12)] Erin is furry.[(triple13)] Erin is nice.[(triple14)] Erin is quiet.[(triple15)] Erin is round.[(triple16)] @1: Erin is big.[(((triple14) -> rule2))]