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