Erin is not big. Erin is rough. Erin is not white. Fiona is not big. Fiona is furry. Fiona is kind. Fiona is not rough. Fiona is round. Fiona is white. Gary is big. Gary is furry. Gary is kind. Gary is not round. Gary is smart. Gary is not white. If Fiona is furry and Fiona is rough then Fiona is kind. Rough people are furry. If someone is smart then they are furry.
Gary is not smart.
@0: Erin is not big.[(triple1)] Erin is not white.[(triple3)] Erin is rough.[(triple2)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Fiona is not big.[(triple4)] Fiona is not rough.[(triple7)] Fiona is round.[(triple8)] Fiona is white.[(triple9)] Gary is big.[(triple10)] Gary is furry.[(triple11 OR ((triple14) -> rule3))] Gary is kind.[(triple12)] Gary is not round.[(triple13)] Gary is not white.[(triple15)] Gary is smart.[(triple14)] @1: Erin is furry.[(((triple2) -> rule2))]