Charlie is big. Charlie is green. Charlie is not quiet. Charlie is rough. Dave is green. Dave is quiet. Dave is rough. Erin is big. Erin is young. Fiona is not big. Fiona is cold. Fiona is not green. Fiona is quiet. Fiona is not rough. Fiona is young. All green people are big. All cold people are young. All rough people are red.
Charlie is not young.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule1))] Charlie is green.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is rough.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Erin is big.[(triple8)] Erin is young.[(triple9)] Fiona is cold.[(triple11)] Fiona is not big.[(triple10)] Fiona is not green.[(triple12)] Fiona is not rough.[(triple14)] Fiona is quiet.[(triple13)] Fiona is young.[(triple15 OR ((triple11) -> rule2))] @1: Charlie is red.[(((triple4) -> rule3))] Dave is big.[(((triple5) -> rule1))] Dave is red.[(((triple7) -> rule3))]