Dave is green. Dave is not rough. Dave is young. Fiona is not young. Gary is green. Gary is rough. Harry is white. All green people are white. Young people are not big. If someone is young and round then they are not big. Round, big people are young. Green, white people are round. If someone is young and big then they are nice.
Harry is not young.
@0: Dave is green.[(triple1)] Dave is not rough.[(triple2)] Dave is young.[(triple3)] Fiona is not young.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6)] Harry is white.[(triple7)] @1: Dave is not big.[(((triple3) -> rule2) OR ((triple3 ((triple1 ((triple1) -> rule1)) -> rule5)) -> rule3))] Dave is white.[(((triple1) -> rule1))] Gary is white.[(((triple5) -> rule1))] @2: Dave is round.[(((triple1 ((triple1) -> rule1)) -> rule5))] Gary is round.[(((triple5 ((triple5) -> rule1)) -> rule5))]