Bob is big. Bob is green. Bob is rough. Bob is not smart. Bob is white. Bob is young. Erin is not big. Erin is green. Erin is rough. Erin is round. Erin is not young. Fiona is big. Fiona is rough. Fiona is round. Fiona is not white. Fiona is not young. Green things are rough. Big things are rough. If something is smart and not green then it is not rough. All smart, young things are not rough. Smart things are not young. All round things are smart.
Fiona is rough.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is not smart.[(triple4)] Bob is rough.[(triple3 OR ((triple1) -> rule2) OR ((triple2) -> rule1))] Bob is white.[(triple5)] Bob is young.[(triple6)] Erin is green.[(triple8)] Erin is not big.[(triple7)] Erin is not young.[(triple11 OR ((((triple10) -> rule6)) -> rule5))] Erin is rough.[(triple9 OR ((triple8) -> rule1))] Erin is round.[(triple10)] Fiona is big.[(triple12)] Fiona is not white.[(triple15)] Fiona is not young.[(triple16 OR ((((triple14) -> rule6)) -> rule5))] Fiona is rough.[(triple13 OR ((triple12) -> rule2))] Fiona is round.[(triple14)] @1: Erin is smart.[(((triple10) -> rule6))] Fiona is smart.[(((triple14) -> rule6))]