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