Anne is big. Anne is kind. Anne is nice. Anne is rough. Anne is young. Bob is big. Bob is kind. Bob is nice. Bob is rough. Gary is nice. Gary is rough. Gary is young. All kind, nice people are smart. If Gary is green and Gary is rough then Gary is kind. If Gary is nice and Gary is rough then Gary is green.
Bob is young.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Bob is big.[(triple6)] Bob is kind.[(triple7)] Bob is nice.[(triple8)] Bob is rough.[(triple9)] Gary is nice.[(triple10)] Gary is rough.[(triple11)] Gary is young.[(triple12)] @1: Anne is smart.[(((triple2 triple3) -> rule1))] Bob is smart.[(((triple7 triple8) -> rule1))] Gary is green.[(((triple10 triple11) -> rule3))] @2: Gary is kind.[(((((triple10 triple11) -> rule3) triple11) -> rule2))] @3: Gary is smart.[(((((((triple10 triple11) -> rule3) triple11) -> rule2) triple10) -> rule1))]