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