Dave is blue. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Dave is young. Gary is blue. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is young. If something is round then it is blue. All kind things are young. Quiet things are kind.
Dave is not young.
@0: Dave is blue.[(triple1 OR ((triple6) -> rule1))] Dave is kind.[(triple2 OR ((triple4) -> rule3))] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7 OR ((triple2) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] Gary is blue.[(triple8 OR ((triple13) -> rule1))] Gary is kind.[(triple9 OR ((triple11) -> rule3))] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is young.[(triple14 OR ((triple9) -> rule2) OR ((((triple11) -> rule3)) -> rule2))]