Bob is green. Bob is nice. Bob is rough. Charlie is blue. Fiona is big. Fiona is blue. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. All rough people are nice. If Charlie is blue then Charlie is smart. Smart people are blue. If someone is white and blue then they are smart. All rough, blue people are nice. If someone is blue and white then they are nice.
Charlie is not nice.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2 OR ((triple3) -> rule1))] Bob is rough.[(triple3)] Charlie is blue.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6 OR ((triple10) -> rule3))] Fiona is green.[(triple7)] Fiona is nice.[(triple8 OR ((triple9) -> rule1) OR ((triple9 triple6) -> rule5) OR ((triple9 ((triple10) -> rule3)) -> rule5))] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] @1: Charlie is smart.[(((triple4) -> rule2))]