Bob is furry. Bob is green. Bob is white. Erin is furry. Erin is green. Erin is rough. Erin is round. Erin is young. Fiona is furry. Fiona is green. Fiona is young. Gary is furry. Gary is green. Gary is white. Gary is young. Furry, white people are round. If someone is furry and white then they are green. All young, green people are furry. If Erin is round then Erin is quiet. If someone is round and rough then they are furry. White, rough people are round.
Gary is rough.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple1 triple3) -> rule2))] Bob is white.[(triple3)] Erin is furry.[(triple4 OR ((triple7 triple6) -> rule5) OR ((triple8 triple5) -> rule3))] Erin is green.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)] Erin is young.[(triple8)] Fiona is furry.[(triple9 OR ((triple11 triple10) -> rule3))] Fiona is green.[(triple10)] Fiona is young.[(triple11)] Gary is furry.[(triple12 OR ((triple15 triple13) -> rule3))] Gary is green.[(triple13 OR ((triple12 triple14) -> rule2))] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Bob is round.[(((triple1 triple3) -> rule1))] Erin is quiet.[(((triple7) -> rule4))] Gary is round.[(((triple12 triple14) -> rule1) OR ((((triple15 triple13) -> rule3) triple14) -> rule1))]