Charlie is not white. Dave is smart. Fiona is red. Gary is young. All smart people are kind. Kind people are white. All red, smart people are white. If someone is young then they are smart. All nice people are young. All smart, young people are not red.
Dave is not white.
@0: Charlie is not white.[(triple1)] Dave is smart.[(triple2)] Fiona is red.[(triple3)] Gary is young.[(triple4)] @1: Dave is kind.[(((triple2) -> rule1))] Gary is smart.[(((triple4) -> rule4))] @2: Dave is white.[(((((triple2) -> rule1)) -> rule2))] Gary is kind.[(((((triple4) -> rule4)) -> rule1))] Gary is not red.[(((((triple4) -> rule4) triple4) -> rule6))] @3: Gary is white.[(((((((triple4) -> rule4)) -> rule1)) -> rule2))]