Erin is furry. Erin is round. Fiona is big. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. Gary is round. Harry is big. Harry is red. Harry is round. Harry is smart. If Fiona is furry and Fiona is green then Fiona is big. If someone is big and red then they are rough.
Harry is not red.
@0: Erin is furry.[(triple1)] Erin is round.[(triple2)] Fiona is big.[(triple3)] Fiona is green.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6 OR ((triple3 triple5) -> rule2))] Fiona is round.[(triple7)] Gary is round.[(triple8)] Harry is big.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Harry is rough.[(((triple9 triple10) -> rule2))]