Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Gary is blue. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is smart. Smart, blue things are quiet. If Gary is blue and Gary is round then Gary is furry.
Gary is red.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4 OR ((triple7 triple1) -> rule1))] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9 OR ((triple8 triple13) -> rule2))] Gary is kind.[(triple10)] Gary is quiet.[(triple11 OR ((triple14 triple8) -> rule1))] Gary is red.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14)]