Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is white. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is white. All white, big people are red. All red, green people are white. If Gary is quiet and Gary is big then Gary is kind.
Gary is furry.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6 OR ((triple7 triple1) -> rule1))] Erin is white.[(triple7 OR ((triple6 triple3) -> rule2))] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11 OR ((triple12 triple8) -> rule3))] Gary is quiet.[(triple12)] Gary is red.[(triple13 OR ((triple14 triple8) -> rule1))] Gary is white.[(triple14 OR ((triple13 triple10) -> rule2))]