Bob is green. Bob is round. Bob is smart. Bob is not white. Bob is young. Charlie is white. Dave is quiet. Dave is not round. Gary is green. Gary is not red. Gary is white. Gary is not young. If Dave is red and Dave is white then Dave is quiet. If someone is young and smart then they are green. All red, round people are green. If someone is quiet and smart then they are not green. If someone is quiet then they are not smart. If someone is quiet and not young then they are round.
Bob is round.
@0: Bob is green.[(triple1 OR ((triple5 triple3) -> rule2))] Bob is not white.[(triple4)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple5)] Charlie is white.[(triple6)] Dave is not round.[(triple8)] Dave is quiet.[(triple7)] Gary is green.[(triple9)] Gary is not red.[(triple10)] Gary is not young.[(triple12)] Gary is white.[(triple11)] @1: Dave is not smart.[(((triple7) -> rule5))]