Bob is cold. Bob is nice. Bob is quiet. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Nice things are rough. Cold, kind things are red. If something is kind then it is cold.
Harry is not nice.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Harry is cold.[(triple4 OR ((triple5) -> rule3))] Harry is kind.[(triple5)] Harry is nice.[(triple6)] Harry is quiet.[(triple7)] @1: Bob is rough.[(((triple2) -> rule1))] Harry is red.[(((triple4 triple5) -> rule2) OR ((((triple5) -> rule3) triple5) -> rule2))] Harry is rough.[(((triple6) -> rule1))]