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