Bob is smart. Charlie is big. Charlie is blue. Charlie is smart. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is rough. Harry is big. Harry is blue. Harry is not kind. Harry is quiet. Harry is red. Harry is rough. Harry is not smart. All kind things are not smart. If Harry is big then Harry is quiet. If Bob is kind then Bob is smart.
Harry is rough.
@0: Bob is smart.[(triple1)] Charlie is big.[(triple2)] Charlie is blue.[(triple3)] Charlie is smart.[(triple4)] Fiona is blue.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is not kind.[(triple11)] Harry is not smart.[(triple15)] Harry is quiet.[(triple12 OR ((triple9) -> rule2))] Harry is red.[(triple13)] Harry is rough.[(triple14)] @1: Fiona is not smart.[(((triple6) -> rule1))]