Bob is round. Bob is white. Fiona is not blue. Fiona is green. Fiona is round. Fiona is white. Gary is blue. Gary is rough. Harry is not nice. Harry is not rough. Round, rough things are nice. All blue things are rough. If Harry is not nice then Harry is white. If Bob is not nice and Bob is not blue then Bob is not green. If something is round and blue then it is smart. All nice, white things are smart.
Fiona is not smart.
@0: Bob is round.[(triple1)] Bob is white.[(triple2)] Fiona is green.[(triple4)] Fiona is not blue.[(triple3)] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Gary is blue.[(triple7)] Gary is rough.[(triple8 OR ((triple7) -> rule2))] Harry is not nice.[(triple9)] Harry is not rough.[(triple10)] @1: Harry is white.[(((triple9) -> rule3))]