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