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