Bob is quiet. Bob is rough. Bob is white. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is white. Dave is young. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. Quiet things are green. If something is kind and not quiet then it is green. If something is rough and not quiet then it is red. All quiet, red things are white. All green things are young. If something is rough and not red then it is young.
Bob is kind.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Bob is white.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8 OR ((triple5 triple6) -> rule4))] Dave is young.[(triple9 OR ((((triple5) -> rule1)) -> rule5))] Fiona is green.[(triple10 OR ((triple12) -> rule1))] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] Fiona is red.[(triple13)] Fiona is rough.[(triple14)] Fiona is white.[(triple15 OR ((triple12 triple13) -> rule4))] Fiona is young.[(triple16 OR ((triple10) -> rule5) OR ((((triple12) -> rule1)) -> rule5))] @1: Bob is green.[(((triple1) -> rule1))] Dave is green.[(((triple5) -> rule1))] @2: Bob is young.[(((((triple1) -> rule1)) -> rule5))]