Anne is kind. Anne is red. Anne is white. Fiona is nice. Fiona is red. Fiona is round. Gary is cold. Gary is white. Harry is big. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is round. Harry is white. All white things are nice. Round things are kind.
Harry is nice.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Gary is cold.[(triple7)] Gary is white.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11 OR ((triple14) -> rule2))] Harry is nice.[(triple12 OR ((triple15) -> rule1))] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Anne is nice.[(((triple3) -> rule1))] Fiona is kind.[(((triple6) -> rule2))] Gary is nice.[(((triple8) -> rule1))]