Anne is blue. Anne is green. Anne is quiet. Anne is round. Bob is blue. Bob is green. Bob is round. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is young. Gary is not blue. Gary is quiet. Gary is young. If something is blue and kind then it is young. All quiet things are kind.
Gary is round.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Bob is blue.[(triple5)] Bob is green.[(triple6)] Bob is round.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9 OR ((triple10) -> rule2))] Fiona is quiet.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12 OR ((triple8 triple9) -> rule1) OR ((triple8 ((triple10) -> rule2)) -> rule1))] Gary is not blue.[(triple13)] Gary is quiet.[(triple14)] Gary is young.[(triple15)] @1: Anne is kind.[(((triple3) -> rule2))] Gary is kind.[(((triple14) -> rule2))] @2: Anne is young.[(((triple1 ((triple3) -> rule2)) -> rule1))]