Anne is big. Anne is blue. Anne is cold. Anne is kind. Anne is rough. Anne is smart. Anne is young. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is young. Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is young. If Anne is young and Anne is blue then Anne is big. Big, blue people are cold. If someone is young and cold then they are rough.
Gary is young.
@0: Anne is big.[(triple1 OR ((triple7 triple2) -> rule1))] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple1 triple2) -> rule2) OR ((((triple7 triple2) -> rule1) triple2) -> rule2))] Anne is kind.[(triple4)] Anne is rough.[(triple5 OR ((triple7 triple3) -> rule3) OR ((triple7 ((triple1 triple2) -> rule2)) -> rule3) OR ((triple7 ((((triple7 triple2) -> rule1) triple2) -> rule2)) -> rule3))] Anne is smart.[(triple6)] Anne is young.[(triple7)] Charlie is kind.[(triple8)] Charlie is rough.[(triple9)] Charlie is smart.[(triple10)] Charlie is young.[(triple11)] Gary is big.[(triple12)] Gary is blue.[(triple13)] Gary is cold.[(triple14 OR ((triple12 triple13) -> rule2))] Gary is kind.[(triple15)] Gary is young.[(triple16)] @1: Gary is rough.[(((triple16 triple14) -> rule3) OR ((triple16 ((triple12 triple13) -> rule2)) -> rule3))]