Anne is blue. Anne is white. Anne is young. Bob is blue. Bob is cold. Bob is rough. Fiona is kind. Fiona is rough. Fiona is round. Fiona is young. Harry is cold. Harry is young. All kind, rough people are young. If someone is blue then they are round. Round, cold people are kind.
Harry is round.
@0: Anne is blue.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is rough.[(triple6)] Fiona is kind.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10 OR ((triple7 triple8) -> rule1))] Harry is cold.[(triple11)] Harry is young.[(triple12)] @1: Anne is round.[(((triple1) -> rule2))] Bob is round.[(((triple4) -> rule2))] @2: Bob is kind.[(((((triple4) -> rule2) triple5) -> rule3))] @3: Bob is young.[(((((((triple4) -> rule2) triple5) -> rule3) triple6) -> rule1))]