Bob is round. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is white. Dave is young. Nice, round things are red. If something is round and young then it is red. All red, white things are young.
Charlie is not nice.
@0: Bob is round.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is red.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12 OR ((triple10 triple11) -> rule3))] @1: Charlie is young.[(((triple5 triple6) -> rule3))]