Dave is red. Dave is rough. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Harry is cold. Harry is green. Harry is quiet. Harry is white. Harry is young. All quiet things are green. If something is white then it is rough. If something is rough and young then it is green.
Fiona is green.
@0: Dave is red.[(triple1)] Dave is rough.[(triple2)] Fiona is green.[(triple3 OR ((triple4) -> rule1))] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6 OR ((triple7) -> rule2))] Fiona is white.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9 OR ((triple10) -> rule1) OR ((((triple11) -> rule2) triple12) -> rule3))] Harry is quiet.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Harry is rough.[(((triple11) -> rule2))]