Bob is blue. Bob is furry. Bob is rough. Bob is round. Bob is smart. Erin is blue. Erin is red. Erin is smart. Fiona is blue. Fiona is furry. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. If Bob is young and Bob is furry then Bob is blue. If something is smart then it is round. All rough, round things are smart.
Erin is not furry.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple5) -> rule2))] Bob is smart.[(triple5 OR ((triple3 triple4) -> rule3))] Erin is blue.[(triple6)] Erin is red.[(triple7)] Erin is smart.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13 OR ((triple14) -> rule2))] Fiona is smart.[(triple14 OR ((triple12 triple13) -> rule3))] Fiona is young.[(triple15)] @1: Erin is round.[(((triple8) -> rule2))]