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