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