Bob is big. Bob is nice. Bob is quiet. Bob is white. Fiona is big. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is white. Harry is big. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is white. Cold people are kind. Quiet people are cold.
Harry is not kind.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4)] Fiona is big.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is white.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11 OR ((triple14) -> rule2))] Harry is kind.[(triple12 OR ((triple11) -> rule1) OR ((((triple14) -> rule2)) -> rule1))] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is white.[(triple15)] @1: Bob is cold.[(((triple3) -> rule2))] Fiona is cold.[(((triple8) -> rule2))] @2: Bob is kind.[(((((triple3) -> rule2)) -> rule1))] Fiona is kind.[(((((triple8) -> rule2)) -> rule1))]