Anne is not young. Dave is young. Fiona is rough. Gary is not big. Young, blue people are big. All blue people are white. All young, white people are not rough. Round, white people are rough. All white, rough people are round. Blue, white people are young. Young people are blue. If someone is rough and not blue then they are not green.
Dave is not rough.
@0: Anne is not young.[(triple1)] Dave is young.[(triple2)] Fiona is rough.[(triple3)] Gary is not big.[(triple4)] @1: Dave is blue.[(((triple2) -> rule7))] @2: Dave is big.[(((triple2 ((triple2) -> rule7)) -> rule1))] Dave is white.[(((((triple2) -> rule7)) -> rule2))] @3: Dave is not rough.[(((triple2 ((((triple2) -> rule7)) -> rule2)) -> rule3))]