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