Erin is nice. Erin is rough. Erin is round. Erin is smart. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. Harry is blue. Harry is nice. Harry is rough. Harry is round. Harry is white. All smart people are nice. If someone is nice then they are smart.
Erin is furry.
@0: Erin is nice.[(triple1 OR ((triple4) -> rule1))] Erin is rough.[(triple2)] Erin is round.[(triple3)] Erin is smart.[(triple4 OR ((triple1) -> rule2))] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is nice.[(triple7 OR ((triple10) -> rule1))] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10 OR ((triple7) -> rule2))] Fiona is white.[(triple11)] Harry is blue.[(triple12)] Harry is nice.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16)] @1: Harry is smart.[(((triple13) -> rule2))]