Bob is big. Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is round. Bob is white. Charlie is big. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is round. Dave is cold. Dave is white. Gary is cold. Gary is quiet. Cold things are quiet.
Charlie is cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5 OR ((triple2) -> rule1))] Bob is round.[(triple6)] Bob is white.[(triple7)] Charlie is big.[(triple8)] Charlie is cold.[(triple9)] Charlie is furry.[(triple10)] Charlie is nice.[(triple11)] Charlie is round.[(triple12)] Dave is cold.[(triple13)] Dave is white.[(triple14)] Gary is cold.[(triple15)] Gary is quiet.[(triple16 OR ((triple15) -> rule1))] @1: Charlie is quiet.[(((triple9) -> rule1))] Dave is quiet.[(((triple13) -> rule1))]