Anne is big. Anne is not green. Anne is not kind. Anne is red. Dave is big. Dave is red. Dave is young. Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Gary is cold. Gary is green. Gary is young. If Gary is big then Gary is green. If Gary is young then Gary is quiet. Quiet things are big.
Dave is not green.
@0: Anne is big.[(triple1)] Anne is not green.[(triple2)] Anne is not kind.[(triple3)] Anne is red.[(triple4)] Dave is big.[(triple5)] Dave is red.[(triple6)] Dave is young.[(triple7)] Fiona is big.[(triple8 OR ((triple12) -> rule3))] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] Fiona is red.[(triple13)] Gary is cold.[(triple14)] Gary is green.[(triple15 OR ((((((triple16) -> rule2)) -> rule3)) -> rule1))] Gary is young.[(triple16)] @1: Gary is quiet.[(((triple16) -> rule2))] @2: Gary is big.[(((((triple16) -> rule2)) -> rule3))]