Dave is big. Dave is furry. Dave is quiet. Dave is red. Dave is rough. Fiona is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. If Fiona is green then Fiona is furry. All young people are green. If someone is young then they are red.
Dave is not green.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple7 OR ((triple8) -> rule1) OR ((((triple12) -> rule2)) -> rule1))] Fiona is green.[(triple8 OR ((triple12) -> rule2))] Fiona is quiet.[(triple9)] Fiona is red.[(triple10 OR ((triple12) -> rule3))] Fiona is rough.[(triple11)] Fiona is young.[(triple12)]