Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is white. Dave is big. Dave is furry. Dave is white. Harry is big. Harry is blue. Harry is cold. Harry is nice. Harry is quiet. Harry is white. All quiet people are cold. If someone is furry then they are big. If Harry is white then Harry is nice.
Dave is big.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule2))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple5) -> rule1))] Charlie is furry.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Dave is big.[(triple7 OR ((triple8) -> rule2))] Dave is furry.[(triple8)] Dave is white.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12 OR ((triple14) -> rule1))] Harry is nice.[(triple13 OR ((triple15) -> rule3))] Harry is quiet.[(triple14)] Harry is white.[(triple15)]