Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is round. Fiona is big. Fiona is furry. Fiona is kind. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is round. If Erin is rough then Erin is furry. All nice, round people are rough.
Gary is not green.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2 OR ((triple6) -> rule1) OR ((((triple5 triple7) -> rule2)) -> rule1))] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6 OR ((triple5 triple7) -> rule2))] Erin is round.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is nice.[(triple14)] Gary is round.[(triple15)] @1: Gary is rough.[(((triple14 triple15) -> rule2))]