Bob is furry. Bob is green. Charlie is quiet. Charlie is young. Dave is furry. Dave is not green. Dave is quiet. Dave is round. Dave is smart. Fiona is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is not young. All young things are big. Big things are green.
Dave is quiet.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is young.[(triple4)] Dave is furry.[(triple5)] Dave is not green.[(triple6)] Dave is quiet.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12 OR ((triple10) -> rule2))] Fiona is not young.[(triple16)] Fiona is quiet.[(triple13)] Fiona is round.[(triple14)] Fiona is smart.[(triple15)] @1: Charlie is big.[(((triple4) -> rule1))] @2: Charlie is green.[(((((triple4) -> rule1)) -> rule2))]