Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Gary is furry. Gary is kind. Gary is nice. Gary is rough. Gary is smart. Gary is white. Gary is young. If Gary is white and Gary is rough then Gary is smart. Furry, young things are rough.
Gary is rough.
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is rough.[(triple4 OR ((triple1 triple7) -> rule2))] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is rough.[(triple11 OR ((triple8 triple14) -> rule2))] Gary is smart.[(triple12 OR ((triple13 triple11) -> rule1) OR ((triple13 ((triple8 triple14) -> rule2)) -> rule1))] Gary is white.[(triple13)] Gary is young.[(triple14)]