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