Charlie is big. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Charlie is young. Dave is cold. Dave is quiet. Dave is rough. Dave is white. Dave is young. All young, rough things are white. All cold things are young.
Charlie is quiet.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6 OR ((triple7 triple5) -> rule1) OR ((((triple2) -> rule2) triple5) -> rule1))] Charlie is young.[(triple7 OR ((triple2) -> rule2))] Dave is cold.[(triple8)] Dave is quiet.[(triple9)] Dave is rough.[(triple10)] Dave is white.[(triple11 OR ((triple12 triple10) -> rule1) OR ((((triple8) -> rule2) triple10) -> rule1))] Dave is young.[(triple12 OR ((triple8) -> rule2))]