Bob is blue. Bob is kind. Bob is rough. Bob is smart. Erin is not blue. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Harry is blue. Harry is kind. Harry is rough. Harry is round. Harry is smart. Harry is not young. Blue things are quiet. Rough things are smart. If something is quiet and not rough then it is not young.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4 OR ((triple3) -> rule2))] Erin is kind.[(triple6)] Erin is not blue.[(triple5)] Erin is quiet.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10 OR ((triple8) -> rule2))] Harry is blue.[(triple11)] Harry is kind.[(triple12)] Harry is not young.[(triple16)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple13) -> rule2))] @1: Bob is quiet.[(((triple1) -> rule1))] Harry is quiet.[(((triple11) -> rule1))]