Charlie is big. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is round. Charlie is white. Charlie is young. Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is round. Dave is young. Erin is green. Erin is young. All green things are white. All young, white things are big.
Erin is big.
@0: Charlie is big.[(triple1 OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple3) -> rule1)) -> rule2))] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple3) -> rule1))] Charlie is young.[(triple7)] Dave is big.[(triple8 OR ((triple13 ((triple10) -> rule1)) -> rule2))] Dave is blue.[(triple9)] Dave is green.[(triple10)] Dave is quiet.[(triple11)] Dave is round.[(triple12)] Dave is young.[(triple13)] Erin is green.[(triple14)] Erin is young.[(triple15)] @1: Dave is white.[(((triple10) -> rule1))] Erin is white.[(((triple14) -> rule1))] @2: Erin is big.[(((triple15 ((triple14) -> rule1)) -> rule2))]