Bob is big. Bob is not blue. Bob is cold. Bob is not young. Charlie is not blue. Charlie is not cold. Charlie is green. Charlie is red. Charlie is young. Harry is blue. Harry is red. Harry is young. If someone is young and not blue then they are big. All green people are quiet. If Charlie is cold then Charlie is not young.
Harry is not quiet.
@0: Bob is big.[(triple1)] Bob is cold.[(triple3)] Bob is not blue.[(triple2)] Bob is not young.[(triple4)] Charlie is green.[(triple7)] Charlie is not blue.[(triple5)] Charlie is not cold.[(triple6)] Charlie is red.[(triple8)] Charlie is young.[(triple9)] Harry is blue.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12)] @1: Charlie is big.[(((triple9 triple5) -> rule1))] Charlie is quiet.[(((triple7) -> rule2))]