Anne is big. Anne is cold. Anne is nice. Anne is white. Anne is young. Charlie is big. Charlie is quiet. Charlie is white. Dave is nice. Dave is quiet. Dave is rough. Dave is young. Gary is big. Gary is rough. Gary is white. Gary is young. If something is quiet then it is nice. All nice things are rough. All rough, big things are cold.
Charlie is not rough.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((((triple3) -> rule2) triple1) -> rule3))] Anne is nice.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is big.[(triple6)] Charlie is quiet.[(triple7)] Charlie is white.[(triple8)] Dave is nice.[(triple9 OR ((triple10) -> rule1))] Dave is quiet.[(triple10)] Dave is rough.[(triple11 OR ((triple9) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] Dave is young.[(triple12)] Gary is big.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Anne is rough.[(((triple3) -> rule2))] Charlie is nice.[(((triple7) -> rule1))] Gary is cold.[(((triple14 triple13) -> rule3))] @2: Charlie is rough.[(((((triple7) -> rule1)) -> rule2))] @3: Charlie is cold.[(((((((triple7) -> rule1)) -> rule2) triple6) -> rule3))]