Anne is big. Anne is cold. Anne is nice. Anne is quiet. Anne is red. Anne is round. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Gary is big. Gary is cold. Gary is nice. Gary is quiet. Gary is red. All big, quiet things are nice.
Gary is not smart.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3 OR ((triple1 triple4) -> rule1))] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Fiona is cold.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Gary is big.[(triple11)] Gary is cold.[(triple12)] Gary is nice.[(triple13 OR ((triple11 triple14) -> rule1))] Gary is quiet.[(triple14)] Gary is red.[(triple15)]