Anne is blue. Anne is cold. Anne is kind. Anne is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is white. Fiona is young. Harry is blue. Harry is cold. Harry is kind. Harry is white. Harry is young. All blue people are cold.
Harry is not young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule1))] Anne is kind.[(triple3)] Anne is young.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7 OR ((triple6) -> rule1))] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is white.[(triple10)] Fiona is young.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13 OR ((triple12) -> rule1))] Harry is kind.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]