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