Bob is kind. Gary is green. Gary is kind. Gary is not round. Gary is smart. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is not red. Harry is round. Harry is smart. If someone is quiet then they are nice. All kind people are nice. If Harry is round and Harry is not green then Harry is nice.
Bob is red.
@0: Bob is kind.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is not round.[(triple4)] Gary is smart.[(triple5)] Harry is green.[(triple6)] Harry is kind.[(triple7)] Harry is nice.[(triple8 OR ((triple7) -> rule2) OR ((triple9) -> rule1))] Harry is not red.[(triple10)] Harry is quiet.[(triple9)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Bob is nice.[(((triple1) -> rule2))] Gary is nice.[(((triple3) -> rule2))]