Anne is big. Anne is cold. Anne is kind. Anne is red. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Dave is big. Dave is kind. Dave is rough. Gary is cold. Gary is kind. Gary is quiet. Gary is red. If someone is kind then they are green. All quiet people are big. All green, red people are rough.
Charlie is not cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Charlie is green.[(triple5 OR ((triple6) -> rule1))] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9 OR ((triple5 triple8) -> rule3) OR ((((triple6) -> rule1) triple8) -> rule3))] Dave is big.[(triple10)] Dave is kind.[(triple11)] Dave is rough.[(triple12)] Gary is cold.[(triple13)] Gary is kind.[(triple14)] Gary is quiet.[(triple15)] Gary is red.[(triple16)] @1: Anne is green.[(((triple3) -> rule1))] Charlie is big.[(((triple7) -> rule2))] Dave is green.[(((triple11) -> rule1))] Gary is big.[(((triple15) -> rule2))] Gary is green.[(((triple14) -> rule1))] @2: Anne is rough.[(((((triple3) -> rule1) triple4) -> rule3))] Gary is rough.[(((((triple14) -> rule1) triple16) -> rule3))]