Bob is rough. Bob is round. Charlie is big. Charlie is round. Charlie is smart. Charlie is white. Erin is furry. Erin is nice. Erin is rough. Erin is round. Erin is smart. Erin is white. Big, rough things are smart. All round, furry things are big. If Bob is white and Bob is round then Bob is rough.
Bob is not smart.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2)] Charlie is big.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Erin is furry.[(triple7)] Erin is nice.[(triple8)] Erin is rough.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11 OR ((((triple10 triple7) -> rule2) triple9) -> rule1))] Erin is white.[(triple12)] @1: Erin is big.[(((triple10 triple7) -> rule2))]