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