Anne is big. Anne is blue. Anne is cold. Anne is not kind. Anne is not nice. Anne is quiet. Bob is big. Bob is kind. Bob is quiet. Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is young. Gary is big. Gary is cold. Gary is kind. If Charlie is nice then Charlie is cold. If something is cold then it is big. If something is young and not big then it is kind.
Charlie is not kind.
@0: Anne is big.[(triple1 OR ((triple3) -> rule2))] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is not kind.[(triple4)] Anne is not nice.[(triple5)] Anne is quiet.[(triple6)] Bob is big.[(triple7)] Bob is kind.[(triple8)] Bob is quiet.[(triple9)] Charlie is blue.[(triple10)] Charlie is nice.[(triple11)] Charlie is quiet.[(triple12)] Charlie is young.[(triple13)] Gary is big.[(triple14 OR ((triple15) -> rule2))] Gary is cold.[(triple15)] Gary is kind.[(triple16)] @1: Charlie is cold.[(((triple11) -> rule1))] @2: Charlie is big.[(((((triple11) -> rule1)) -> rule2))]